diff --git a/configure b/configure index bf3c739c6ea..d1ebac3c770 100755 --- a/configure +++ b/configure @@ -318,7 +318,7 @@ fi OPTIONS="" HELP=0 -if [ "$1" = "--help" ] +if [ "$1" = "-h" ] || [ "$1" = "--help" ] then HELP=1 shift