summaryrefslogtreecommitdiff
path: root/win32/configure.bat
diff options
context:
space:
mode:
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-xwin32/configure.bat5
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