diff options
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/coverity-build.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index b7174cfc6..c481cd1ee 100755 --- a/utils/coverity-build.sh +++ b/utils/coverity-build.sh @@ -34,6 +34,8 @@ # # either PREFIX or JENKINS_HOME +COVERITY_PROJECT="NetSurf+Browser" + # build gtk, framebuffer and monkey frontend by default TARGETS="gtk framebuffer monkey" @@ -61,8 +63,8 @@ for TARGET in ${TARGETS}; do cov-build --dir cov-int make CCACHE= TARGET=${TARGET} done -tar cf covns.tar cov-int +tar cf coverity-scan.tar cov-int -gzip -9 covns.tar +gzip -9 coverity-scan.tar -curl --form "project=NetSurf Browser" --form "token=${COVERITY_TOKEN}" --form "email=${COVERITY_USER}" --form "file=@covns.tar.gz" --form "version=${COVERITY_VERSION}" --form "description=Git Head build" http://scan5.coverity.com/cgi-bin/upload.py
\ No newline at end of file +curl --form "project=${COVERITY_PROJECT}" --form "token=${COVERITY_TOKEN}" --form "email=${COVERITY_USER}" --form "file=@coverity-scan.tar.gz" --form "version=${COVERITY_VERSION}" --form "description=Git Head build" "https://scan.coverity.com/builds?project=${COVERITY_PROJECT}" |