summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2015-12-08 16:57:06 (GMT)
committer Vincent Sanders <vince@kyllikki.org>2015-12-08 16:57:06 (GMT)
commit95d045dd64e07b11c87783410ae796655e41938c (patch)
tree64e38e387569bd0690f905b0a71bbde2b5f0802b
parentee7fc907af4d763cd9645c532a92392805b4222c (diff)
downloadbuildsystem-95d045dd64e07b11c87783410ae796655e41938c.tar.gz
buildsystem-95d045dd64e07b11c87783410ae796655e41938c.tar.bz2
Coverity submission URL is now using https
-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 7d79e63..f2143d8 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://scan.coverity.com/builds?project=${COVERITY_PROJECT}"
+ 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}"
elif [ "x${HOST}" = "x${TARGET_DOCS}" ]; then