Mirrors/SubtitleEdit
1
0
Fork 0
mirror of https://github.com/SubtitleEdit/subtitleedit.git synced 2024-11-21 18:52:36 +01:00
Code Issues Projects Releases Wiki Activity

coverity.bat: use VS 2015.

Browse Source 
Note that the current Coverity version doesn't work with VS2015 yet.
This commit is contained in:
XhmikosR 2016-01-24 12:48:16 +02:00
parent 8f489fd611
commit 8226e831e1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
coverity.bat
View File

@ -12,7 +12,7 @@ IF DEFINED COVDIR IF NOT EXIST "%COVDIR%" (
) )
CALL "%VS120COMNTOOLS%\vsvars32.bat" CALL "%VS140COMNTOOLS%\vsvars32.bat"
IF %ERRORLEVEL% NEQ 0 ( IF %ERRORLEVEL% NEQ 0 (
ECHO vsvars32.bat call failed. ECHO vsvars32.bat call failed.
GOTO End GOTO End