From 8226e831e10b6c19ff3dc1efb3e1f0b1e691cf9b Mon Sep 17 00:00:00 2001 From: XhmikosR Date: Sun, 24 Jan 2016 12:48:16 +0200 Subject: [PATCH] coverity.bat: use VS 2015. Note that the current Coverity version doesn't work with VS2015 yet. --- coverity.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverity.bat b/coverity.bat index 94981362c..dfddfa2fc 100644 --- a/coverity.bat +++ b/coverity.bat @@ -12,7 +12,7 @@ IF DEFINED COVDIR IF NOT EXIST "%COVDIR%" ( ) -CALL "%VS120COMNTOOLS%\vsvars32.bat" +CALL "%VS140COMNTOOLS%\vsvars32.bat" IF %ERRORLEVEL% NEQ 0 ( ECHO vsvars32.bat call failed. GOTO End