diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-26 16:33:37 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-26 16:33:37 +0200 |
| commit | babead5b586f8294b789a7fba252491b866aee61 (patch) | |
| tree | 2254b9ca461b6a7549cc9f7720105e23acdff993 /src/bootstrap/mk | |
| parent | 5ff8fbb2d83d423974d21d754b5ee56a4c869551 (diff) | |
| download | rust-babead5b586f8294b789a7fba252491b866aee61.tar.gz rust-babead5b586f8294b789a7fba252491b866aee61.zip | |
miri core/alloc tests: do not test a 2nd target
Diffstat (limited to 'src/bootstrap/mk')
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index 3cfd0240794..fc433bc5843 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -53,15 +53,12 @@ check-aux: src/tools/cargotest \ $(BOOTSTRAP_ARGS) # Run standard library tests in Miri. - # We use a 64bit little-endian and a 32bit big-endian target for max coverage. $(Q)BOOTSTRAP_SKIP_TARGET_SANITY=1 \ $(BOOTSTRAP) miri --stage 2 \ - --target x86_64-unknown-linux-gnu,mips-unknown-linux-gnu \ library/core \ library/alloc \ --no-doc # Some doctests have intentional memory leaks. - # Also, they work only on the host. $(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" \ $(BOOTSTRAP) miri --stage 2 \ library/core \ |