From 4c3ecd3a5914fceb89e1103301377f1d9e3132ca Mon Sep 17 00:00:00 2001 From: XhmikosR Date: Wed, 22 Jul 2015 21:55:55 +0300 Subject: [PATCH] Update coverity.bat version. --- coverity.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverity.bat b/coverity.bat index bbc9f4e15..94981362c 100644 --- a/coverity.bat +++ b/coverity.bat @@ -4,7 +4,7 @@ SETLOCAL 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%" ( ECHO. ECHO ERROR: Coverity not found in "%COVDIR%"