diff --git a/travis.sh b/travis.sh index 7046a3226b7d..3d4b8651fb83 100755 --- a/travis.sh +++ b/travis.sh @@ -26,7 +26,7 @@ echo "Test host architecture" run_tests echo -if [ -n "$FOREIGN_TARGET" ]; then +if [ -n "${FOREIGN_TARGET+exists}" ]; then echo "Test foreign architecture ($FOREIGN_TARGET)" MIRI_TEST_TARGET="$FOREIGN_TARGET" run_tests echo