diff --git a/win32/configure.bat b/win32/configure.bat index e9e63ac11d..79384a8759 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -240,8 +240,7 @@ goto :loop ; goto :loop ; :gmp echo>> %config_make% WITH_GMP = yes - echo>>%confargs% %1=1 \ - shift + echo>>%confargs% %1 \ shift goto :loop ; :gmp-dir