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

Update coverity.bat version.

Browse Source
This commit is contained in:
XhmikosR 2015-07-22 21:55:55 +03:00
parent d7adfb4c53
commit 4c3ecd3a59
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

@ -4,7 +4,7 @@ SETLOCAL
PUSHD %~dp0 PUSHD %~dp0
IF NOT DEFINED COVDIR SET "COVDIR=H:\progs\thirdparty\cov-analysis-win64-7.5.0" IF NOT DEFINED COVDIR SET "COVDIR=H:\progs\thirdparty\cov-analysis-win64"
IF DEFINED COVDIR IF NOT EXIST "%COVDIR%" ( IF DEFINED COVDIR IF NOT EXIST "%COVDIR%" (
ECHO. ECHO.
ECHO ERROR: Coverity not found in "%COVDIR%" ECHO ERROR: Coverity not found in "%COVDIR%"