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 b2b3a175bf..671c456144 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -20,6 +20,7 @@ if "%1" == "--program-suffix" goto :suffix if "%1" == "--program-name" goto :progname
if "%1" == "--enable-install-doc" goto :enable-rdoc
if "%1" == "--disable-install-doc" goto :disable-rdoc
+if "%1" == "--extout" goto :extout
if "%1" == "-h" goto :help
if "%1" == "--help" goto :help
echo>> ~tmp~.mak "%1" \
@@ -67,6 +68,11 @@ goto :loop echo>> ~tmp~.mak "RDOCTARGET=install-nodoc" \
shift
goto :loop
+:extout
+ echo>> ~tmp~.mak "EXTOUT=%2" \
+ shift
+ shift
+goto :loop
:help
echo Configuration:
echo --help display this help
|