diff options
author | Vincent Sanders <vince@kyllikki.org> | 2015-12-08 16:57:06 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2015-12-08 16:57:06 +0000 |
commit | 95d045dd64e07b11c87783410ae796655e41938c (patch) | |
tree | 64e38e387569bd0690f905b0a71bbde2b5f0802b | |
parent | ee7fc907af4d763cd9645c532a92392805b4222c (diff) | |
download | buildsystem-95d045dd64e07b11c87783410ae796655e41938c.tar.gz buildsystem-95d045dd64e07b11c87783410ae796655e41938c.tar.bz2 |
Coverity submission URL is now using https
-rwxr-xr-x | citools/jenkins-build.sh | 2 |
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 |