aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander Krotov <ilabdsf@gmail.com>2019-01-07 09:17:21 +0300
committerAlexander Krotov <ilabdsf@gmail.com>2019-01-07 09:17:21 +0300
commita92d6fa5bee5bdcbd5d3cd7052ed1aff0689051a (patch)
treed2bc69e2b8c68658711ef9f5d63bf83ca942553e
parentea2e25fd9316bdd23d91b4e91610d10f997c58c9 (diff)
downloadpandoc-a92d6fa5bee5bdcbd5d3cd7052ed1aff0689051a.tar.gz
tools/changelog-helper.sh: remove [[ bashism
-rwxr-xr-xtools/changelog-helper.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/changelog-helper.sh b/tools/changelog-helper.sh
index dfaefa483..ddd19597b 100755
--- a/tools/changelog-helper.sh
+++ b/tools/changelog-helper.sh
@@ -8,7 +8,7 @@ files=`git ls-tree -r master --name-only`
for x in $files
do
commits=`git log -n1 $lastmod..HEAD $x`
- if [[ ! -z $commits ]]
+ if [ ! -z "$commits" ]
then
if echo $x | grep -q "src\/.*\.hs"
then