Skip to content

Commit 8d5c47f

Browse files
committed
miri libstd tests: test windows-msvc instead of windows-gnu
1 parent 7f2fc33 commit 8d5c47f

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

src/bootstrap/mk/Makefile.in

+3-2
Original file line numberDiff line numberDiff line change
@@ -76,10 +76,11 @@ check-aux:
7676
$(BOOTSTRAP) miri --stage 2 library/std \
7777
--doc -- \
7878
--skip fs:: --skip net:: --skip process:: --skip sys::pal::
79-
# Also test some very target-specific modules on other targets.
79+
# Also test some very target-specific modules on other targets
80+
# (making sure to cover an i686 target as well).
8081
$(Q)MIRIFLAGS="-Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \
8182
$(BOOTSTRAP) miri --stage 2 library/std \
82-
--target aarch64-apple-darwin,i686-pc-windows-gnu \
83+
--target aarch64-apple-darwin,i686-pc-windows-msvc \
8384
--no-doc -- \
8485
time:: sync:: thread:: env::
8586
dist:

0 commit comments

Comments
 (0)