]>
git.ipfire.org Git - thirdparty/systemd.git/blob - travis-ci/tools/get-coverity.sh
3 # Download and extract coverity tool
6 [ -z "$COVERITY_SCAN_TOKEN" ] && echo 'ERROR: COVERITY_SCAN_TOKEN must be set' && exit 1
8 # Use default values if not set
11 TOOL_BASE
=${TOOL_BASE:="/tmp/coverity-scan-analysis"}
12 TOOL_ARCHIVE
=${TOOL_ARCHIVE:="/tmp/cov-analysis-${PLATFORM}.tgz"}
14 TOOL_URL
="https://scan.coverity.com/download/${PLATFORM}"
16 # Make sure wget is installed
17 sudo apt-get update
&& sudo apt-get
-y install wget
20 if [ ! -d $TOOL_BASE ]; then
21 # Download Coverity Scan Analysis Tool
22 if [ ! -e $TOOL_ARCHIVE ]; then
23 echo -e "\033[33;1mDownloading Coverity Scan Analysis Tool...\033[0m"
24 wget
-nv -O $TOOL_ARCHIVE $TOOL_URL --post-data "project=$COVERITY_SCAN_PROJECT_NAME&token=$COVERITY_SCAN_TOKEN"
27 # Extract Coverity Scan Analysis Tool
28 echo -e "\033[33;1mExtracting Coverity Scan Analysis Tool...\033[0m"
35 echo -e "\033[33;1mCoverity Scan Analysis Tool can be found at $TOOL_BASE ...\033[0m"