From a92d6fa5bee5bdcbd5d3cd7052ed1aff0689051a Mon Sep 17 00:00:00 2001
From: Alexander Krotov <ilabdsf@gmail.com>
Date: Mon, 7 Jan 2019 09:17:21 +0300
Subject: tools/changelog-helper.sh: remove [[ bashism

---
 tools/changelog-helper.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

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
-- 
cgit v1.2.3