Skip to content

Commit 6f5fad5

Browse files
authored
Rollup merge of #146266 - RalfJung:miri-nosys, r=jieyouxu
miri std tests: skip all of sys:: Matches rust-lang/miri-test-libstd#104
2 parents 8fe82a0 + 9fc8374 commit 6f5fad5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/bootstrap/mk/Makefile.in

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ check-aux:
7676
library/std \
7777
$(BOOTSTRAP_ARGS) \
7878
-- \
79-
--skip fs:: --skip net:: --skip process:: --skip sys::fd:: --skip sys::pal::
79+
--skip fs:: --skip net:: --skip process:: --skip sys::
8080
# Also test some very target-specific modules on other targets
8181
# (making sure to cover an i686 target as well).
8282
$(Q)MIRIFLAGS="-Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \

0 commit comments

Comments
 (0)