Auto merge of #1261 - RalfJung:cross-gnu, r=RalfJung

cross-running windows-gnu should now also work Fixes #1198
rust-lang · Mar 25, 2020 · bffdf22 · bffdf22
2 parents a84d8a8 + e19552b
commit bffdf22
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/travis.sh b/travis.sh
@@ -44,4 +44,6 @@ if [ "$TRAVIS_OS_NAME" == linux ]; then
 elif [ "$TRAVIS_OS_NAME" == osx ]; then
   # cross-test 64bit Windows from macOS
   MIRI_TEST_TARGET=x86_64-pc-windows-msvc run_tests
+  # cross-test 32bit GNU Windows from macOS
+  MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests
 fi