diff options
| author | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 10:37:33 -0700 |
|---|---|---|
| committer | Pierre Grandin <grandinp@gmail.com> | 2017-09-12 10:37:33 -0700 |
| commit | 64f09e6b87114e373892440b0efbf1cfd4771c9c (patch) | |
| tree | 9cd5b45c6191419658965295a760eea04554d55e | |
| parent | a9be9e9e6d8749401a70ae9bf4bca67095214ff0 (diff) | |
| download | navit-64f09e6b87114e373892440b0efbf1cfd4771c9c.tar.gz | |
Run coverity report for the coverity_upgrade branch
| -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 76f7acbfc..42433737e 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -6,7 +6,7 @@ apt-get install -y libpng12-dev librsvg2-bin libfreetype6-dev libdbus-glib-1-dev cmake_opts="-Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOOL=FALSE -DSAMPLE_MAP=n -Dgraphics/gtk_drawing_area:BOOL=TRUE" -if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trunk" ]]; then +if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "coverity_upgrade" ]]; then # If we are building the official trunk code, push an update to coverity wget -nv -c -O ~/assets/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz tar xfz ~/assets/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz |