summaryrefslogtreecommitdiffstats
path: root/configure.bat
diff options
context:
space:
mode:
Diffstat (limited to 'configure.bat')
-rw-r--r--configure.bat5
1 files changed, 1 insertions, 4 deletions
diff --git a/configure.bat b/configure.bat
index 79dcfe352d..b34e146f5f 100644
--- a/configure.bat
+++ b/configure.bat
@@ -125,11 +125,8 @@ goto doneargs
:platform
shift
- if "%~1" == "win32-msvc2012" goto msvc
- if "%~1" == "win32-msvc2013" goto msvc
- if "%~1" == "win32-msvc2015" goto msvc
- if "%~1" == "win32-msvc2017" goto msvc
set PLATFORM=%~1
+ if "%PLATFORM:~0,10%" == "win32-msvc" goto msvc
goto nextarg
:msvc
echo. >&2