diff options
author | Tasos Katsoulas <12612986+tkatsoulas@users.noreply.github.com> | 2023-11-27 20:37:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-27 20:37:24 +0200 |
commit | 15dc8abb5582785469480a588a63314de7772ded (patch) | |
tree | be457f36ba4c6b1fbb13e8e483ae96fbeb6504ab /coverity-scan.sh | |
parent | e3d9ed26295b36973591d44b961bc26130be727f (diff) |
Bump new version to cov-analysis tool (#16482)
* Bump new version to cov-analysis tool
* full version
Diffstat (limited to 'coverity-scan.sh')
-rwxr-xr-x | coverity-scan.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index 2050d13cdb..8466b21a7f 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -40,7 +40,7 @@ set -e INSTALL_DIR="/opt" # the version of coverity to use -COVERITY_BUILD_VERSION="${COVERITY_BUILD_VERSION:-cov-analysis-linux64-2022.12.2}" +COVERITY_BUILD_VERSION="${COVERITY_BUILD_VERSION:-cov-analysis-linux64-2023.6.2}" # TODO: For some reasons this does not fully load on Debian 10 (Haven't checked if it happens on other distros yet), it breaks source packaging/installer/functions.sh || echo "Failed to fully load the functions library" |