tools/changelog-helper.sh: remove [[ bashism
This commit is contained in:
parent
ea2e25fd93
commit
a92d6fa5be
1 changed files with 1 additions and 1 deletions
|
@ -8,7 +8,7 @@ files=`git ls-tree -r master --name-only`
|
||||||
for x in $files
|
for x in $files
|
||||||
do
|
do
|
||||||
commits=`git log -n1 $lastmod..HEAD $x`
|
commits=`git log -n1 $lastmod..HEAD $x`
|
||||||
if [[ ! -z $commits ]]
|
if [ ! -z "$commits" ]
|
||||||
then
|
then
|
||||||
if echo $x | grep -q "src\/.*\.hs"
|
if echo $x | grep -q "src\/.*\.hs"
|
||||||
then
|
then
|
||||||
|
|
Loading…
Reference in a new issue