summaryrefslogtreecommitdiff
path: root/citools
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2015-12-08 16:55:06 +0000
committerVincent Sanders <vince@kyllikki.org>2015-12-08 16:55:06 +0000
commitee7fc907af4d763cd9645c532a92392805b4222c (patch)
tree68d2cd23bbcab3a35cfe015a887f621cb237a18f /citools
parent92a9156ac26570480205425012fe708431d48a13 (diff)
downloadbuildsystem-ee7fc907af4d763cd9645c532a92392805b4222c.tar.gz
buildsystem-ee7fc907af4d763cd9645c532a92392805b4222c.tar.bz2
update coverity submission url
Diffstat (limited to 'citools')
-rwxr-xr-xcitools/jenkins-build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh
index e0b5929..7d79e63 100755
--- a/citools/jenkins-build.sh
+++ b/citools/jenkins-build.sh
@@ -205,7 +205,7 @@ elif [ "x${HOST}" = "x${TARGET_COVERITY}" ]; then
gzip -9 coverity-scan.tar
- 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" 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" "http://scan.coverity.com/builds?project=${COVERITY_PROJECT}"
elif [ "x${HOST}" = "x${TARGET_DOCS}" ]; then