From d37fcf36eb2feff6234684f97ef41296a232a6f0 Mon Sep 17 00:00:00 2001
From: "W. Felix Handte" <w@felixhandte.com>
Date: Mon, 18 May 2020 14:54:06 -0400
Subject: [PATCH] Don't Use `[[` in Shell Scripts

---
 tests/playTests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/playTests.sh b/tests/playTests.sh
index 3c91b958f..4ccf4bd24 100755
--- a/tests/playTests.sh
+++ b/tests/playTests.sh
@@ -267,7 +267,7 @@ test ! -f precompressedFilterTestDir/input.5.zst.zst
 test ! -f precompressedFilterTestDir/input.6.zst.zst
 file1timestamp=`$MTIME precompressedFilterTestDir/input.5.zst`
 file2timestamp=`$MTIME precompressedFilterTestDir/input.7.zst`
-if [[ $file2timestamp -ge $file1timestamp ]]; then
+if [ $file2timestamp -ge $file1timestamp ]; then
   println "Test is successful. input.5.zst is precompressed and therefore not compressed/modified again."
 else
   println "Test is not successful"
-- 
2.47.2