diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 14:51:15 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 14:51:15 -0700 |
| commit | 4b9175511acfb46010b8016c38c9d5b3a32f779b (patch) | |
| tree | dfb5bb9fb2c79684dbae797d41e2d29061ed8636 | |
| parent | 6d4559244944d332bec8b10e663f3e7d7fe7e8fe (diff) | |
| download | navit-coverity_upgrade.tar.gz | |
Run coverity builds only for trunkcoverity_upgrade
| -rw-r--r-- | ci/build_linux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 3ed477f7d..14abb7597 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -8,7 +8,7 @@ cmake_opts="-Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOO mkdir ${CIRCLE_WORKING_DIRECTORY}/linux-bin && cd ${CIRCLE_WORKING_DIRECTORY}/linux-bin -if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "coverity_upgrade" ]]; then +if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trunk" ]]; then # If we are building the official trunk code, push an update to coverity wget -nv -c -O /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz tar xfz /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz --no-same-owner -C /usr/local/share/ |