diff options
| -rwxr-xr-x | win32/configure.bat | 3 |
1 files changed, 1 insertions, 2 deletions
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
|