diff options
| author | Alexander Krotov <ilabdsf@gmail.com> | 2019-01-07 09:17:21 +0300 |
|---|---|---|
| committer | Alexander Krotov <ilabdsf@gmail.com> | 2019-01-07 09:17:21 +0300 |
| commit | a92d6fa5bee5bdcbd5d3cd7052ed1aff0689051a (patch) | |
| tree | d2bc69e2b8c68658711ef9f5d63bf83ca942553e /tools | |
| parent | ea2e25fd9316bdd23d91b4e91610d10f997c58c9 (diff) | |
| download | pandoc-a92d6fa5bee5bdcbd5d3cd7052ed1aff0689051a.tar.gz | |
tools/changelog-helper.sh: remove [[ bashism
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/changelog-helper.sh | 2 |
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 |