diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-09-06 13:03:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-06 13:03:17 +0200 |
| commit | 6f5fad5dad91744d3a34ce84b485f4662fbd415b (patch) | |
| tree | bb0b0fcb0a69248c23cbc357025a24ac16fc5dc8 /src/bootstrap | |
| parent | 8fe82a0e9ed29112be7f15ceeedb4f11d0c06410 (diff) | |
| parent | 9fc8374c2c4b9b04820999153d9b66f7a3df4ce0 (diff) | |
| download | rust-6f5fad5dad91744d3a34ce84b485f4662fbd415b.tar.gz rust-6f5fad5dad91744d3a34ce84b485f4662fbd415b.zip | |
Rollup merge of #146266 - RalfJung:miri-nosys, r=jieyouxu
miri std tests: skip all of sys:: Matches https://github.com/rust-lang/miri-test-libstd/pull/104
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index 82c05092dfa..03caa764ccf 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -76,7 +76,7 @@ check-aux: library/std \ $(BOOTSTRAP_ARGS) \ -- \ - --skip fs:: --skip net:: --skip process:: --skip sys::fd:: --skip sys::pal:: + --skip fs:: --skip net:: --skip process:: --skip sys:: # Also test some very target-specific modules on other targets # (making sure to cover an i686 target as well). $(Q)MIRIFLAGS="-Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \ |