diff options
Diffstat (limited to 'ci/build_linux.sh')
-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 |