* indent/shell.sh (bar): Use '[ $# -eq 0 ]', not '[ $# == 0 ]'.
commit407e6beeb3c37947c7c92bf0d230973bf133afde
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 25 Jan 2015 03:00:41 +0000 (24 19:00 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 25 Jan 2015 03:02:07 +0000 (24 19:02 -0800)
tree56e97d299857f205d895160b61c67349e68bbe63
parentf6ef836521dfd07a0a33d5f1f384427f0c4023ce
* indent/shell.sh (bar): Use '[ $# -eq 0 ]', not '[ $# == 0 ]'.

This is more portable in shell scripts.
Fixes: bug#19658
test/ChangeLog
test/indent/shell.sh