diff options
| -rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 4e2442f12..945673bf8 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -355,7 +355,7 @@ fi # build libssrfmarblewidget -if [ $BUILD_WITH_MARBLE = 1 ]; then +if [ "$BUILD_WITH_MARBLE" = "1" ]; then EXTRA_OPTS="-DMARBLE_INCLUDE_DIR=$INSTALL_ROOT/include \ -DMARBLE_LIBRARIES=$INSTALL_ROOT/lib/libssrfmarblewidget.$SH_LIB_EXT \ -DNO_MARBLE=OFF $EXTRA_OPTS" |