diff options
Diffstat (limited to 'win32/configure.bat')
| -rwxr-xr-x | win32/configure.bat | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 18c9d95963..7246362372 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -39,6 +39,7 @@ if "%1" == "--disable-rubygems" goto :disable-rubygems if "%1" == "--extout" goto :extout
if "%1" == "--path" goto :path
if "%1" == "--with-baseruby" goto :baseruby
+if "%1" == "--without-baseruby" goto :baseruby
if "%1" == "--with-ntver" goto :ntver
if "%1" == "--with-libdir" goto :libdir
if "%1" == "--with-git" goto :git
@@ -175,6 +176,11 @@ goto :loop ; shift
shift
goto :loop ;
+:nobaseruby
+ echo>> ~tmp~.mak "HAVE_BASERUBY=no" \
+ echo>>confargs.tmp %1=%2 \
+ shift
+goto :loop ;
:libdir
echo>> ~tmp~.mak "libdir_basename=%~2" \
echo>>confargs.tmp %1=%2 \
|