diff --git a/configure b/configure
index 87c3c7325..0f30df2cb 100755
--- a/configure
+++ b/configure
@@ -317,7 +317,6 @@ process_cmdline() {
             process_common_cmdline "$opt"
         fi
         ;;
-        ;;
         esac
     done
 }