diff options
Diffstat (limited to 'wince/configure.bat')
-rw-r--r-- | wince/configure.bat | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/wince/configure.bat b/wince/configure.bat index 3f208d1487..66837bb646 100644 --- a/wince/configure.bat +++ b/wince/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
if "%1" == "CC" goto :define
@@ -77,6 +78,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
|