mirror of
https://github.com/systemd/systemd.git
synced 2024-11-01 09:21:26 +03:00
9ee03516df
Even though many of those scripts are very simple, it is easier to include the header than to try to say whether each of those files is trivial enough not to require one.
37 lines
1.1 KiB
Bash
Executable File
37 lines
1.1 KiB
Bash
Executable File
#!/bin/bash
|
|
# SPDX-License-Identifier: LGPL-2.1-or-later
|
|
|
|
# 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"
|