diff options
-rwxr-xr-x | scripts/config | 2 |
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 | |||
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 | ;; |