@@ -8,7 +8,7 @@ files=`git ls-tree -r master --name-only`
8for x in $files
8for x in $files
10 commits=`git log -n1 $lastmod..HEAD $x`
10 commits=`git log -n1 $lastmod..HEAD $x`
11− if [[ ! -z $commits ]]
11+ if [ ! -z "$commits" ]
13 if echo $x | grep -q "src\/.*\.hs"
13 if echo $x | grep -q "src\/.*\.hs"