summaryrefslogtreecommitdiffstats
path: root/coverity-scan.sh
diff options
context:
space:
mode:
Diffstat (limited to 'coverity-scan.sh')
-rwxr-xr-xcoverity-scan.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh
index 9737545d9..f144444ff 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.06}"
+COVERITY_BUILD_VERSION="${COVERITY_BUILD_VERSION:-cov-analysis-linux64-2022.12.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"
@@ -150,6 +150,7 @@ installit() {
COVERITY_PATH=$(find "${INSTALL_DIR}" -maxdepth 1 -name 'cov*linux*')
export PATH=${PATH}:${COVERITY_PATH}/bin/
elif find . -name "*.tar.gz" > /dev/null 2>&1; then
+ ls ./*.tar.gz
fatal "Downloaded coverity tool tarball does not appear to be the version we were expecting, exiting."
else
fatal "Failed to download coverity tool tarball!"