From aaa3208432ac25739f38c81b0646234afa62fafa Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 14 May 2020 19:21:04 +0200
Subject: [PATCH] test Linux on macOS host

---
 ci.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci.sh b/ci.sh
index a7254f2958a0..922469aeca54 100755
--- a/ci.sh
+++ b/ci.sh
@@ -42,6 +42,7 @@ if [ "${TRAVIS_OS_NAME:-}" == linux ]; then
   MIRI_TEST_TARGET=x86_64-apple-darwin run_tests
   MIRI_TEST_TARGET=i686-pc-windows-msvc run_tests
 elif [ "${TRAVIS_OS_NAME:-}" == osx ]; then
+  MIRI_TEST_TARGET=i686-unknown-linux-gnu run_tests
   MIRI_TEST_TARGET=x86_64-pc-windows-msvc run_tests
   MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests
 elif [ "${CI_WINDOWS:-}" == True ]; then