ddidderr/zstd-rs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #2148 from felixhandte/fix-2144

Browse Source 
Don't Use `[[` in Shell Scripts
This commit is contained in:
Felix Handte
2020-05-18 15:47:17 -04:00
committed by GitHub
parent e804567d75 d37fcf36eb
commit 8ca98badc2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/playTests.sh
+1 -1
View File
@@ -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"