diff options
| author | <philippe colliot> | 2014-12-08 18:33:58 +0100 |
|---|---|---|
| committer | <philippe colliot> | 2014-12-08 18:33:58 +0100 |
| commit | 90a066a53f841a336079a50a03f42a36b4a9ccbd (patch) | |
| tree | 9e4fe39d2d1d1affaeae114066006e4aca13ef22 /src/navigation/script/build.sh | |
| parent | 502629ad46d67277d146b8a07c51b443121008ec (diff) | |
| download | poi-service-550edcd614c005c764a9db26ca4c625b9d0d24bc.tar.gz | |
fix bug in enhanced position pluginjupiter_release
Diffstat (limited to 'src/navigation/script/build.sh')
| -rwxr-xr-x | src/navigation/script/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/navigation/script/build.sh b/src/navigation/script/build.sh index 70baca7..98492cf 100755 --- a/src/navigation/script/build.sh +++ b/src/navigation/script/build.sh @@ -299,7 +299,7 @@ build() { cd $NAVIGATION_CORE_BIN_DIR mkdir -p $NAVIGATION_CORE_ENHANCEDPOSITION cd $NAVIGATION_CORE_ENHANCEDPOSITION_BIN_DIR - cmake -Wno-dev -C $NAVIT_BIN_DIR/cmake_plugin_settings.txt -Dpositioning_API=$ENHANCED_POSITION_SERVICE_GENERATED_API_DIR -Dapi_DIR=$API_DIR -Dgenerated_api_DIR=$GENERATED_API_DIR -Dnavit_SRC_DIR=$NAVIT_SRC_DIR $NAVIT_PLUGIN_FLAGS $NAVIGATION_CORE_ENHANCEDPOSITION_SRC_DIR && make + cmake -Wno-dev -C $NAVIT_BIN_DIR/cmake_plugin_settings.txt -Dpositioning_API=$ENHANCED_POSITION_SERVICE_GENERATED_API_DIR -Dnavit_SRC_DIR=$NAVIT_SRC_DIR $NAVIT_PLUGIN_FLAGS $NAVIGATION_CORE_ENHANCEDPOSITION_SRC_DIR && make cd $TOP_BIN_DIR mkdir -p $MAP_VIEWER |