diff options
| -rwxr-xr-x | util/lint/lint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint b/util/lint/lint index 1896db1c48..56edaa65c4 100755 --- a/util/lint/lint +++ b/util/lint/lint @@ -30,7 +30,7 @@ junit_write () { } # Look if we have getopt. If not, build it. -if [ $(uname) == Darwin ]; then +if [ "$(uname)" = "Darwin" ]; then GETOPT="getopt hIJ" else GETOPT="getopt -l help,junit,invert -o hIJ" |