mirror of
https://github.com/systemd/systemd-stable.git
synced 2024-12-22 13:33:56 +03:00
36 lines
1.1 KiB
Bash
Executable File
36 lines
1.1 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# Download and extract coverity tool
|
|
|
|
# Environment check
|
|
[ -z "$COVERITY_SCAN_TOKEN" ] && echo 'ERROR: COVERITY_SCAN_TOKEN must be set' && exit 1
|
|
|
|
# Use default values if not set
|
|
PLATFORM=$(uname)
|
|
|
|
TOOL_BASE=${TOOL_BASE:="/tmp/coverity-scan-analysis"}
|
|
TOOL_ARCHIVE=${TOOL_ARCHIVE:="/tmp/cov-analysis-${PLATFORM}.tgz"}
|
|
|
|
TOOL_URL="https://scan.coverity.com/download/${PLATFORM}"
|
|
|
|
# Make sure wget is installed
|
|
sudo apt-get update && sudo apt-get -y install wget
|
|
|
|
# Get coverity tool
|
|
if [ ! -d $TOOL_BASE ]; then
|
|
# Download Coverity Scan Analysis Tool
|
|
if [ ! -e $TOOL_ARCHIVE ]; then
|
|
echo -e "\033[33;1mDownloading Coverity Scan Analysis Tool...\033[0m"
|
|
wget -nv -O $TOOL_ARCHIVE $TOOL_URL --post-data "project=$COVERITY_SCAN_PROJECT_NAME&token=$COVERITY_SCAN_TOKEN"
|
|
fi
|
|
|
|
# Extract Coverity Scan Analysis Tool
|
|
echo -e "\033[33;1mExtracting Coverity Scan Analysis Tool...\033[0m"
|
|
mkdir -p $TOOL_BASE
|
|
pushd $TOOL_BASE
|
|
tar xzf $TOOL_ARCHIVE
|
|
popd
|
|
fi
|
|
|
|
echo -e "\033[33;1mCoverity Scan Analysis Tool can be found at $TOOL_BASE ...\033[0m"
|