From e19552ba414eee7cb5236bf2a65a8da8a802e8ee Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 25 Mar 2020 11:44:11 +0100
Subject: [PATCH] cross-running windows-gnu should now also work

---
 travis.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/travis.sh b/travis.sh
index 8b2453584b..590b94b7f5 100755
--- 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