diff options
author | Austin S. Hemmelgarn <austin@netdata.cloud> | 2023-05-03 10:30:06 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-03 10:30:06 -0400 |
commit | 814b035d8cdda0f360ddabb5829ab14dde49939e (patch) | |
tree | 275445fbf6f998715e7ae53995d220b4f3800266 /coverity-scan.sh | |
parent | baa6b9376b443f29007c92091ec90d55b75a698e (diff) |
Bump Coverity scan tool version. (#15003)
Also update the script so that this process becomes a bit easier in the
future.
Diffstat (limited to 'coverity-scan.sh')
-rwxr-xr-x | coverity-scan.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index 9737545d9e..f144444ffc 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!" |