config.lib
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