summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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