From 993a9dfc5a0815b8e397b03cf5b6c5ba4191c5c5 Mon Sep 17 00:00:00 2001
From: inikep <inikep@gmail.com>
Date: Fri, 27 May 2016 10:07:46 +0200
Subject: [PATCH] playTests.sh updated to work better with /bin/sh

---
 programs/tests/playTests.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/programs/tests/playTests.sh b/programs/tests/playTests.sh
index dbeb916d0..5ff4c4e07 100755
--- 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"