From: Michael Jeanson <mjeanson@efficios.com>
Date: Wed, 15 Mar 2023 19:46:11 +0000 (-0400)
Subject: jjb: coverity: fix: cache the tool installer
X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=9be4a494f1eacb8cfa8a3d0163a7f569159c4fd2;p=lttng-ci.git

jjb: coverity: fix: cache the tool installer

Now that we cache the installer, always try the curl download.

Change-Id: I45d7404f64c39c1519ba53140de801ede6defcf7
Signed-off-by: Michael Jeanson <mjeanson@efficios.com>
---

diff --git a/scripts/common/coverity.sh b/scripts/common/coverity.sh
index 1b96b90..a757a17 100755
--- a/scripts/common/coverity.sh
+++ b/scripts/common/coverity.sh
@@ -129,12 +129,10 @@ fi
 
 # Download Coverity Scan Analysis Tool
 if [ ! -d "$TOOL_BASE" ]; then
-  if [ ! -e "$TOOL_ARCHIVE" ]; then
-    echo -e "\033[33;1mDownloading Coverity Scan Analysis Tool...\033[0m"
-    set +x
-    curl --fail --remote-time --continue-at - --form project="$COVERITY_SCAN_PROJECT_NAME" --form token="$COVERITY_SCAN_TOKEN" --output "$TOOL_ARCHIVE" --time-cond "$TOOL_ARCHIVE" "$TOOL_URL"
-    set -x
-  fi
+  echo -e "\033[33;1mDownloading Coverity Scan Analysis Tool...\033[0m"
+  set +x
+  curl --fail --remote-time --continue-at - --form project="$COVERITY_SCAN_PROJECT_NAME" --form token="$COVERITY_SCAN_TOKEN" --output "$TOOL_ARCHIVE" --time-cond "$TOOL_ARCHIVE" "$TOOL_URL"
+  set -x
 
   # Extract Coverity Scan Analysis Tool
   echo -e "\033[33;1mExtracting Coverity Scan Analysis Tool...\033[0m"