From fd92753c88c321ca87f4f922a006bb014b3ee112 Mon Sep 17 00:00:00 2001 From: Nukem Date: Mon, 6 Apr 2015 21:13:29 -0400 Subject: [PATCH] PROJECT: Fix "these files could not be found and will not be loaded" in batch script --- build.bat | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.bat b/build.bat index 016d0dff..7514f8e0 100644 --- a/build.bat +++ b/build.bat @@ -5,11 +5,11 @@ if "%OLDPATH%"=="" set OLDPATH=%PATH% if "%1"=="x32" ( call setenv.bat x32 - set type="Win32" + set type=Win32 goto build ) else if "%1"=="x64" ( call setenv.bat x64 - set type="x64" + set type=x64 goto build ) else if "%1"=="coverity" ( if "%2"=="" (