diff options
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index 96e2ab40c3..f6aad57b8c 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -65,6 +65,11 @@ goto :loop :target
echo>> ~tmp~.mak "%2" \
echo>>confargs.tmp --target=%2 \
+ if "%2" == "x64-mswin64" goto target2
+ if NOT "%2" == "ia64-mswin64" goto target3
+:target2
+ echo>> ~tmp~.mak "OS=mswin64" \
+:target3
shift
shift
goto :loop
|