tests: can override isTerminal with environment variable

diff --git a/tests/playTests.sh b/tests/playTests.sh
index 06de4f8ac5d8313687c63fb5213b6585b7cc4ef9..f63a7f69e4300f1ef1073aa3cc2beac87a643c77 100755 (executable)
--- a/tests/playTests.sh
+++ b/tests/playTests.sh
@@ -64,11 +64,12 @@ PRGDIR="$SCRIPT_DIR/../programs"
 TESTDIR="$SCRIPT_DIR/../tests"
 UNAME=$(uname)
 
-isTerminal=false
+detectedTerminal=false
 if [ -t 0 ] && [ -t 1 ]
 then
-    isTerminal=true
+    detectedTerminal=true
 fi
+isTerminal=${isTerminal:-$detectedTerminal}
 
 isWindows=false
 INTOVOID="/dev/null"