diff options
author | <philippe colliot> | 2014-09-23 16:11:42 +0200 |
---|---|---|
committer | <philippe colliot> | 2014-09-23 16:11:42 +0200 |
commit | fb92406d88997bd20c89b094b50db8762e1a4869 (patch) | |
tree | b6976be170ba0e36fd2d44a85be13caf0bc6d549 /src/navigation/script/build.sh | |
parent | 8f449cdaad42c00f7bd5d7e3b81bef5f64caa4a3 (diff) | |
download | poi-service-fb92406d88997bd20c89b094b50db8762e1a4869.tar.gz |
navigation: allow to set the path where to clone positioning
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 0f8d3d1..4777771 100755 --- a/src/navigation/script/build.sh +++ b/src/navigation/script/build.sh @@ -134,7 +134,7 @@ build() { cd $TOP_DIR mkdir -p bin cd $TOP_BIN_DIR - cmake $TOP_DIR + cmake -Dpositioning_SRC_DIR=$target_positioning $TOP_DIR # make navit first, because plugins need navit built stuff echo '' |