diff options
Diffstat (limited to 'utils/coverity-build.sh')
| -rwxr-xr-x | utils/coverity-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index a94ee4401..05696f7e2 100755 --- a/utils/coverity-build.sh +++ b/utils/coverity-build.sh @@ -46,7 +46,7 @@ export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${PREFIX}/lib export PATH=${PATH}:${PREFIX}/bin # Coverity tools location -COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-6.6.1} +COVERITY_PREFIX=${COVERITY_PREFIX:-/opt/coverity/cov-analysis-linux64-7.0.2} COVERITY_VERSION=$(git rev-parse HEAD) export PATH=${PATH}:${COVERITY_PREFIX}/bin |