diff options
author | David Kastrup <dak@gnu.org> | 2013-08-14 21:48:01 +0200 |
---|---|---|
committer | David Kastrup <dak@gnu.org> | 2013-08-14 21:48:01 +0200 |
commit | 7758ba18b05420427c30b8ffbc02dc201ab7b1ea (patch) | |
tree | d289120bb1f129f93ccbc80dd033c6f6b9547d1e /scripts | |
parent | 50b7d56d80c5842ce9bce3bcebe6b0491e37cee3 (diff) |
Remove bashism '==' in scripts/auxiliar/cg-section.sh
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/auxiliar/cg-section.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/auxiliar/cg-section.sh b/scripts/auxiliar/cg-section.sh index 77d0bdee96..aaee581268 100755 --- a/scripts/auxiliar/cg-section.sh +++ b/scripts/auxiliar/cg-section.sh @@ -31,7 +31,7 @@ EOF exit "$1" } -if [ "$1" == '-h' ] || [ "$1" == '--help' ]; then +if [ "$1" = '-h' ] || [ "$1" = '--help' ]; then usage 0 fi |