Skip to content

Commit 582331a

Browse files
authored
Verify coverity before not downloading it
1 parent 4db9bee commit 582331a

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

.travis/travisci_build_coverity_scan.sh

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,13 @@ fi
5252
mkdir -p /tmp/coverity-cache || :
5353

5454
if [ ! -d $TOOL_BASE ]; then
55+
56+
# verify that binary is right
57+
if file $TOOL_ARCHIVE | grep HTML ; then
58+
echo "Removing $TOOL_ARCHIVE"
59+
rm -f $TOOL_ARCHIVE
60+
fi
61+
5562
# Download Coverity Scan Analysis Tool
5663
if [ ! -e $TOOL_ARCHIVE ]; then
5764
echo -e "\033[33;1mDownloading Coverity Scan Analysis Tool...\033[0m"

0 commit comments

Comments
 (0)