diff options
author | jandegr <jandegr@users.noreply.github.com> | 2016-11-03 20:11:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-03 20:11:59 +0100 |
commit | f5935f67a7d03a87a7229fac9faefb6d1851182f (patch) | |
tree | d2290f860e49501298e47cdddc3c7fa438dc9794 | |
parent | bc09016a5bc5200d2de8abdfcf8f6c53170ddc56 (diff) | |
download | navit-f5935f67a7d03a87a7229fac9faefb6d1851182f.tar.gz |
Update build_linux.sh
-rw-r--r-- | ci/build_linux.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 4f90d5d98..ac9bbbc13 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -3,7 +3,7 @@ if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trun export PATH=~/navit/cov-analysis-linux64-7.6.0/bin:$PATH mkdir bin && cd bin - cov-build --dir cov-int cmake ../ -Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOOL=FALSE -DSAMPLE_MAP=n + cov-build --dir cov-int cmake ../ -Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOOL=FALSE cov-build --dir cov-int make || exit -1 tar czvf navit.tgz cov-int @@ -15,7 +15,7 @@ if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trun https://scan.coverity.com/builds?project=$CIRCLE_PROJECT_USERNAME else mkdir bin && cd bin - cmake ../ -Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOOL=FALSE -DSAMPLE_MAP=n|| exit -1 + cmake ../ -Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOOL=FALSE || exit -1 make || exit -1 fi cp -r navit/xpm $CIRCLE_ARTIFACTS |