Skip to content

Commit d02ad35

Browse files
authored
Unrolled build for #146266
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 0d0f4ea + 9fc8374 commit d02ad35

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)