diff options
author | Pierre Grandin <grandinp@altern.org> | 2016-11-29 19:55:35 +0000 |
---|---|---|
committer | Pierre Grandin <grandinp@altern.org> | 2016-11-29 19:55:35 +0000 |
commit | 04f6fbdfe031fc19a22fbf0e5794d3e68f291f9d (patch) | |
tree | cb14e7dd26f5c28deb966d51277870367a0f5746 /ci | |
parent | 70325f529961dbb1167ca1d63acec9926c656f25 (diff) | |
download | navit-04f6fbdfe031fc19a22fbf0e5794d3e68f291f9d.tar.gz |
Ensure that we build with gtk_drawing_area enabledR6853
If we rely on cmake detection and if a library is missing, the build will
be deemed successful, but no graphics driver will be built.
Diffstat (limited to 'ci')
-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 e3047b2dd..23716b5f5 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -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 -DSAMPLE_MAP=n -Dgraphics/gtk_drawing_area:BOOL=TRUE|| exit -1 make || exit -1 fi # cp -r navit/xpm $CIRCLE_ARTIFACTS |