1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/config b/scripts/config
index 608d7fdb13e8..dfd4732f7099 100755
--- a/scripts/config
+++ b/scripts/config
@@ -86,7 +86,7 @@ while [ "$1" != "" ] ; do
                B=$ARG
                shift 2
                ;;
-        --*)
+        -*)
                checkarg "$1"
                shift
                ;;

diff --git a/scripts/config b/scripts/config index 608d7fdb13e8..dfd4732f7099 100755 --- a/scripts/config +++ b/scripts/config
@@ -86,7 +86,7 @@ while [ "$1" != "" ] ; do
86	B=$ARG	86	B=$ARG
87	shift 2	87	shift 2
88	;;	88	;;
89	--*)	89	-*)
90	checkarg "$1"	90	checkarg "$1"
91	shift	91	shift
92	;;	92	;;