]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Don't Use `[[` in Shell Scripts 2148/head
authorW. Felix Handte <w@felixhandte.com>
Mon, 18 May 2020 18:54:06 +0000 (14:54 -0400)
committerW. Felix Handte <w@felixhandte.com>
Mon, 18 May 2020 19:06:56 +0000 (15:06 -0400)
tests/playTests.sh

index 3c91b958f182461e8bb5d26274a41dad2901c934..4ccf4bd24d9458dce2754cb6929e8a72ab086fb8 100755 (executable)
@@ -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"