diff --git a/[refs] b/[refs] index ef068308c1f5..0ab55a0a11f5 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 6e5b86924a633f5b6eefb051404339a5a7bb005e +refs/heads/master: 45f53cc90e8f0e46ab024d0bc1de49ebee0dc583 diff --git a/trunk/scripts/config b/trunk/scripts/config index 608d7fdb13e8..dfd4732f7099 100755 --- a/trunk/scripts/config +++ b/trunk/scripts/config @@ -86,7 +86,7 @@ while [ "$1" != "" ] ; do B=$ARG shift 2 ;; - --*) + -*) checkarg "$1" shift ;;