diff options
-rw-r--r-- | shell/maven-coverity.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/shell/maven-coverity.sh b/shell/maven-coverity.sh index 76ba4239f..e319b06d9 100644 --- a/shell/maven-coverity.sh +++ b/shell/maven-coverity.sh @@ -57,6 +57,20 @@ curl \ --output 'coverity_tool.tgz' \ 'https://scan.coverity.com/download/linux64' +curl \ + --verbose \ + --silent \ + --show-error \ + --fail \ + --form "project=${COVERITY_PROJECT_NAME}" \ + --form "token=${COVERITY_TOKEN}" \ + --form 'md5=1' \ + --output 'coverity_tool.md5' \ + 'https://scan.coverity.com/download/linux64' + +echo -n ' coverity_tool.tgz' >> 'coverity_tool.md5' +md5sum --check 'coverity_tool.md5' + tar \ --extract \ --gunzip \ |