Auto merge of rust-lang#124270 - RalfJung:miri-libstd-win, r=onur-ozkan

miri libstd tests: test windows-msvc instead of windows-gnu This avoids rust-lang#123583. MSVC is the more widely used target anyway AFAIK, so probably makes more sense to cover that.
rust-lang-ci · Apr 22, 2024 · 25087e0 · 25087e0
2 parents 7f2fc33 + 8d5c47f
commit 25087e0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in
@@ -76,10 +76,11 @@ check-aux:
 		$(BOOTSTRAP) miri --stage 2 library/std \
 		--doc -- \
 		--skip fs:: --skip net:: --skip process:: --skip sys::pal::
-	# Also test some very target-specific modules on other targets.
+	# 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 \
 		$(BOOTSTRAP) miri --stage 2 library/std \
-		--target aarch64-apple-darwin,i686-pc-windows-gnu \
+		--target aarch64-apple-darwin,i686-pc-windows-msvc \
 		--no-doc -- \
 		time:: sync:: thread:: env::
 dist: