From 55f492735b8ea219d5e7b056cdc57fffc8b7cc8d Mon Sep 17 00:00:00 2001 From: Nobuyoshi Nakada Date: Mon, 25 Aug 2025 18:05:00 +0900 Subject: [PATCH] Win: Fix `--with-gmp` option Do not drop the following option. Do not add an extra `=1` argument. --- win32/configure.bat | 3 +-- 1 file changed, 1 insertion(+), 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