From 140177e47bfbb6a11ffcc4690e1aab5f2d8ea3b3 Mon Sep 17 00:00:00 2001 From: mathusummut Date: Thu, 12 Apr 2018 13:22:14 +0200 Subject: [PATCH] Fixed Windows build script issue --- mk/windows/set-env-2015.bat | 1 - mk/windows/set-env-2017.bat | 1 - 2 files changed, 2 deletions(-) diff --git a/mk/windows/set-env-2015.bat b/mk/windows/set-env-2015.bat index 69003ca01..f42042028 100644 --- a/mk/windows/set-env-2015.bat +++ b/mk/windows/set-env-2015.bat @@ -5,7 +5,6 @@ SET PLATFORM=x64 SET TOOLSET=v140 ECHO Setting up Visual Studio 2015 environment vars... -SET Platform= if "%DevEnvDir%." == "." goto SETVCVARS GOTO GITSECTION diff --git a/mk/windows/set-env-2017.bat b/mk/windows/set-env-2017.bat index ad2568e97..fbc829be0 100644 --- a/mk/windows/set-env-2017.bat +++ b/mk/windows/set-env-2017.bat @@ -5,7 +5,6 @@ SET PLATFORM=x64 SET TOOLSET=v141 ECHO Setting up Visual Studio 2017 environment vars... -SET Platform= if "%DevEnvDir%." == "." goto SETVCVARS GOTO GITSECTION