diff --git a/configure b/configure
index fed1d1ad3..fa5539262 100755
--- a/configure
+++ b/configure
@@ -324,8 +324,8 @@ checkDependencies() {
 runIt() {
   DISABLED_STRIPPING=0
   if test $ARG_WITH_DEBUG = 1 && test $ARG_WITH_STRIP = 1; then
-    DISABLED_STRIPPING=1
-    ARG_WITH_STRIP=0
+    DISABLED_STRIPPING=1;
+    ARG_WITH_STRIP=0;
   fi
 
   if test $ARG_BEQUIET != 1; then