Auto merge of #2691 - RalfJung:get_mut, r=RalfJung

[rust.git] / src / tools / miri / ci.sh

diff --git a/src/tools/miri/ci.sh b/src/tools/miri/ci.sh
index aa322e54a31da02da19282f7ee4d2b55761c5c53..72b7b791a47e09c70eb45f925ac30597ddbc3372 100755 (executable)
--- a/src/tools/miri/ci.sh
+++ b/src/tools/miri/ci.sh
@@ -93,6 +93,7 @@ case $HOST_TARGET in
     ;;
   i686-pc-windows-msvc)
     MIRI_TEST_TARGET=x86_64-unknown-linux-gnu run_tests
+    MIRI_TEST_TARGET=x86_64-pc-windows-gnu run_tests
     ;;
   *)
     echo "FATAL: unknown OS"