Update coverity version.

stefankueng · Jul 7, 2014 · 066723e · 066723e
1 parent feb59bc
commit 066723e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/coverity.bat b/tools/coverity.bat
@@ -4,7 +4,7 @@ setlocal
 pushd %~dp0
 
 rem you can set the COVDIR variable to your coverity path
-if not defined COVDIR set "COVDIR=C:\cov-analysis-win32-7.0.2"
+if not defined COVDIR set "COVDIR=C:\cov-analysis-win32-7.5.0"
 if defined COVDIR if not exist "%COVDIR%" (
   echo.
   echo ERROR: Coverity not found in "%COVDIR%"