diff options
| author | Ralf Jung <post@ralfj.de> | 2024-06-08 10:35:20 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-06-08 10:36:51 +0200 |
| commit | d5671d06a493eae3dd4973ef98c7f1a81998e9da (patch) | |
| tree | 297d877c69f772251446471da9bee68cac5ada7d | |
| parent | 16e8803579e5914a17a4924f47faaefc040a982d (diff) | |
| download | rust-d5671d06a493eae3dd4973ef98c7f1a81998e9da.tar.gz rust-d5671d06a493eae3dd4973ef98c7f1a81998e9da.zip | |
Miri std tests: don't set BOOTSTRAP_SKIP_TARGET_SANITY unnecessarily
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index fc433bc5843..cab37e0da47 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -59,17 +59,18 @@ check-aux: library/alloc \ --no-doc # Some doctests have intentional memory leaks. + # Some use file system operations to demonstrate dealing with `Result`. $(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" \ $(BOOTSTRAP) miri --stage 2 \ library/core \ library/alloc \ --doc - # In `std` we cannot test everything. - $(Q)MIRIFLAGS="-Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \ + # In `std` we cannot test everything, so we skip some modules. + $(Q)MIRIFLAGS="-Zmiri-disable-isolation" \ $(BOOTSTRAP) miri --stage 2 library/std \ --no-doc -- \ --skip fs:: --skip net:: --skip process:: --skip sys::pal:: - $(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \ + $(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" \ $(BOOTSTRAP) miri --stage 2 library/std \ --doc -- \ --skip fs:: --skip net:: --skip process:: --skip sys::pal:: |