1 files changed, 0 insertions, 1 deletions

diff --git a/scripts/config b/scripts/config
index ee355394f4ef..bb4d3deb6d1c 100755
--- a/scripts/config
+++ b/scripts/config
@@ -101,7 +101,6 @@ while [ "$1" != "" ] ; do
         case "$CMD" in
         --keep-case|-k)
                 MUNGE_CASE=no
-                shift
                 continue
                 ;;
         --refresh)