playTests.sh updated to work better with /bin/sh

diff --git a/programs/tests/playTests.sh b/programs/tests/playTests.sh
index dbeb916d0a7bc470446736dbf88502fc107abe8f..5ff4c4e0739e3f4558cff56e4facb49ae9b5a81d 100755 (executable)
--- a/programs/tests/playTests.sh
+++ b/programs/tests/playTests.sh
@@ -22,10 +22,12 @@ roundTripTest() {
 
 isWindows=false
 ECHO="echo"
-if [[ "$OS" == "Windows"* ]]; then
+case "$OS" in
+  Windows*) 
     isWindows=true
     ECHO="echo -e"
-fi
+    ;;
+esac
 
 $ECHO "\nStarting playTests.sh isWindows=$isWindows"