diff options
Diffstat (limited to 'scripts/build_linux.sh')
-rw-r--r-- | scripts/build_linux.sh | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/scripts/build_linux.sh b/scripts/build_linux.sh index 5d807ec45..8d812de95 100644 --- a/scripts/build_linux.sh +++ b/scripts/build_linux.sh @@ -4,14 +4,17 @@ set -e COVERITY_VERSION="2017.07" BUILD_PATH="linux" -cmake_opts="-Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE -DSVG2PNG:BOOL=FALSE -DSAMPLE_MAP=n -Dgraphics/gtk_drawing_area:BOOL=TRUE" - [ -d $BUILD_PATH ] || mkdir -p $BUILD_PATH pushd $BUILD_PATH # Build everything - echo "Building..." -cmake ${cmake_opts} ../ +echo "Building..." +cmake \ + -Dgraphics/qt_qpainter:BOOL=FALSE -Dgui/qml:BOOL=FALSE \ + -DSVG2PNG:BOOL=FALSE -DSAMPLE_MAP=n \ + -Dgraphics/gtk_drawing_area:BOOL=TRUE \ + -Dplugin/pedestrian=TRUE \ + ../ make -j $(nproc --all) make package |