Commit 6c4d2d3ea208bfd0d38d7c5071ea0b398e71c5c8

Patrick Steinhardt 2016-10-28T14:45:55

coverity: fix download URL

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
diff --git a/script/coverity.sh b/script/coverity.sh
index 7fe9eb4..229a9c3 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