tools/changelog-helper.sh: remove [[ bashism
commita92d6fa5bee5bdcbd5d3cd7052ed1aff0689051a
authorAlexander Krotov <ilabdsf@gmail.com>
dateMon 7 Jan 2019, 09:17 (8 years ago)
parentea2e25f
tools/changelog-helper.sh+1−1
@@ -8,7 +8,7 @@ files=`git ls-tree -r master --name-only`
88for x in $files
99do
1010 commits=`git log -n1 $lastmod..HEAD $x`
11− if [[ ! -z $commits ]]
11+ if [ ! -z "$commits" ]
1212 then
1313 if echo $x | grep -q "src\/.*\.hs"
1414 then