From cdfa8bfd2d57a0345b8d74de5968919a82c74438 Mon Sep 17 00:00:00 2001
From: Hiroshi Doyu <hdoyu@nvidia.com>
Date: Fri, 14 Dec 2012 08:47:59 +0200
Subject: [PATCH] --- yaml --- r: 347746 b: refs/heads/master c:
 c6ba8d06ecfc1dadcf7f1b54960cf9332ba5ae8d h: refs/heads/master v: v3

---
 [refs]               | 2 +-
 trunk/scripts/config | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/[refs] b/[refs]
index a72fbe1b125d..f10a5ae58dd1 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 923e02ecf3f8db19d52176723fefa0ffe6e9a3cd
+refs/heads/master: c6ba8d06ecfc1dadcf7f1b54960cf9332ba5ae8d
diff --git a/trunk/scripts/config b/trunk/scripts/config
index ee355394f4ef..bb4d3deb6d1c 100755
--- a/trunk/scripts/config
+++ b/trunk/scripts/config
@@ -101,7 +101,6 @@ while [ "$1" != "" ] ; do
 	case "$CMD" in
 	--keep-case|-k)
 		MUNGE_CASE=no
-		shift
 		continue
 		;;
 	--refresh)