diff options
| author | Frantisek Sumsal <frantisek@sumsal.cz> | 2022-08-09 14:43:28 +0200 |
|---|---|---|
| committer | Frantisek Sumsal <frantisek@sumsal.cz> | 2022-08-11 10:57:25 +0200 |
| commit | 176086a2ecef0274bdbdaf4ea00eb54c071bbb63 (patch) | |
| tree | fa387592b29a3ad817da092c83482e4dfb9b9de8 /tools/get-coverity.sh | |
| parent | resolvctl: only remove protocol after last dot when mangling ifname for resol... (diff) | |
| download | systemd-176086a2ecef0274bdbdaf4ea00eb54c071bbb63.tar.xz systemd-176086a2ecef0274bdbdaf4ea00eb54c071bbb63.zip | |
ci: simplify the Coverity script a bit
Also, address https://github.com/systemd/systemd/pull/24252#issuecomment-1208747320
by using a pre-defined e-mail address stored in the GH Action secrets.
Diffstat (limited to '')
| -rwxr-xr-x | tools/get-coverity.sh | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/tools/get-coverity.sh b/tools/get-coverity.sh deleted file mode 100755 index b067ed23eb..0000000000 --- a/tools/get-coverity.sh +++ /dev/null @@ -1,40 +0,0 @@ -#!/usr/bin/env bash -# SPDX-License-Identifier: LGPL-2.1-or-later - -# Download and extract coverity tool - -set -e -set -o pipefail - -# Environment check -if [ -z "$COVERITY_SCAN_TOKEN" ]; then - echo >&2 'ERROR: COVERITY_SCAN_TOKEN must be set' - exit 1 -fi - -# 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" |