From 9be4a494f1eacb8cfa8a3d0163a7f569159c4fd2 Mon Sep 17 00:00:00 2001
From: Michael Jeanson <mjeanson@efficios.com>
Date: Wed, 15 Mar 2023 15:46:11 -0400
Subject: [PATCH] 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>
---
 scripts/common/coverity.sh | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

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"
-- 
2.34.1