diff options
| author | Patrick Steinhardt <ps@pks.im> | 2016-10-28 14:45:55 +0200 |
|---|---|---|
| committer | Patrick Steinhardt <ps@pks.im> | 2016-10-28 14:45:55 +0200 |
| commit | 6c4d2d3ea208bfd0d38d7c5071ea0b398e71c5c8 (patch) | |
| tree | f177b3ef0336210372706d3ecadbf634d762f0c9 /script | |
| parent | e3298a330835af8d4760bf593500c28728398747 (diff) | |
| download | libgit2-6c4d2d3ea208bfd0d38d7c5071ea0b398e71c5c8.tar.gz | |
coverity: fix download URL
Diffstat (limited to 'script')
| -rwxr-xr-x | script/coverity.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/coverity.sh b/script/coverity.sh index 7fe9eb4c7..229a9c370 100755 --- a/script/coverity.sh +++ b/script/coverity.sh @@ -12,12 +12,11 @@ then exit 0 fi -COV_VERSION=6.6.1 case $(uname -m) in i?86) BITS=32 ;; amd64|x86_64) BITS=64 ;; esac -SCAN_TOOL=https://scan.coverity.com/download/linux-${BITS} +SCAN_TOOL=https://scan.coverity.com/download/cxx/linux${BITS} TOOL_BASE=$(pwd)/_coverity-scan # Install coverity tools |