X-Git-Url: http://git.lttng.org./?a=blobdiff_plain;f=scripts%2Fcommon%2Fcoverity.sh;h=a757a174de880a968c715074a84dfc3a7bc83576;hb=1ad4c3d00f43ef188e2fb0b71fd8af5ee3591ca7;hp=1b96b905bcaaf6edc0c33d4103426cbc6756b0df;hpb=fa299733adf74be2ce0fbce88eee7d4cca31a096;p=lttng-ci.git 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"