Update coverity version.

XhmikosR · Aug 4, 2014 · 37895f9 · 37895f9
1 parent d5a111c
commit 37895f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/coverity.bat b/build/coverity.bat
@@ -19,7 +19,7 @@ SETLOCAL
 
 PUSHD %~dp0
 
-IF NOT DEFINED COVDIR SET "COVDIR=H:\progs\thirdparty\cov-analysis-win64-7.0.2"
+IF NOT DEFINED COVDIR SET "COVDIR=H:\progs\thirdparty\cov-analysis-win64-7.5.0"
 IF DEFINED COVDIR IF NOT EXIST "%COVDIR%" (
   ECHO.
   ECHO ERROR: Coverity not found in "%COVDIR%"