mirrors/netsurf
1
0
Fork 0
mirror of https://github.com/netsurf-browser/netsurf synced 2024-12-24 13:06:49 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix coverity submission for netsurf

Browse Source
This commit is contained in:
Vincent Sanders 2016-02-09 11:32:21 +00:00
parent 9610dbd210
commit d0334c35e9
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
utils/coverity-build.sh
View File

@ -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
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}"