diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2018-04-03 21:46:39 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2018-04-03 21:46:39 -0700 |
| commit | d73047805b8c265b8180abd5f52d736e10044759 (patch) | |
| tree | 9d6d45b9de0a1abb3ad372d78fabea490e678d7b | |
| parent | e6a71fd6770c36560cb9d8451ae36cc3c0018ba3 (diff) | |
| download | navit-d73047805b8c265b8180abd5f52d736e10044759.tar.gz | |
Download coverity from the official source
| -rw-r--r-- | ci/build_linux.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 483128558..38ed2c19d 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -9,9 +9,13 @@ cmake_opts="-Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOO [ -d $BUILD_PATH ] || mkdir -p $BUILD_PATH pushd $BUILD_PATH -if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trunk" ]]; then +if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "fix_coverity_source_url" ]]; then # If we are building the official trunk code, push an update to coverity - wget --progress=dot:giga -c -O /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz + curl \ + -X POST --data "token=${COVERITY_TOKEN}&project=${CIRCLE_PROJECT_USERNAME}" \ + -o /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz -s \ + https://scan.coverity.com/download/linux64 + tar xfz /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz --no-same-owner -C /usr/local/share/ export PATH=/usr/local/share/cov-analysis-linux64-${COVERITY_VERSION}/bin:$PATH |