changeset 10410 | 4800ced41f84 |
parent 10408 | 64f14ac71cc6 |
child 10434 | 3659467c844c |
--- a/config.lib Sat Dec 06 18:44:49 2008 +0000 +++ b/config.lib Sun Dec 07 12:41:20 2008 +0000 @@ -157,7 +157,7 @@ optarg=`expr "x$p" : 'x[^=]*=\(.*\)'` case "$p" in - --help | -h | -?) showhelp; exit 0;; + --help | -h | -\?) showhelp; exit 0;; --config-log) prev_p="config_log";; --config-log=*) config_log="$optarg";; @@ -385,7 +385,7 @@ --ignore-extra-parameters) ignore_extra_parameters="1";; - --*) + --* | -*) if [ "$ignore_extra_parameters" = "0" ]; then echo "Unknown option $p" exit 1