diff options
| author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2025-08-25 18:05:00 +0900 |
|---|---|---|
| committer | Nobuyoshi Nakada <nobu.nakada@gmail.com> | 2025-08-25 21:53:20 +0900 |
| commit | 55f492735b8ea219d5e7b056cdc57fffc8b7cc8d (patch) | |
| tree | fb50be3129652c97a0770fee72d4267ca376809b /win32 | |
| parent | 84be67a37c6f7b359aa5f55a94a8d87da2efe341 (diff) | |
Win: Fix `--with-gmp` option
Do not drop the following option.
Do not add an extra `=1` argument.
Diffstat (limited to 'win32')
| -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
|