From 6a614708ca599cd4e2514429c167d8e045ca8128 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 6 Jan 2020 11:02:25 +0100
Subject: [PATCH] fix testing if a variable exists

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

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