summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
author <philippe colliot>2014-09-24 17:21:14 +0200
committer <philippe colliot>2014-09-24 17:21:14 +0200
commit8a5158d426753645bad05dca84cbf3afe3490f0a (patch)
treeaf7486ce2964f20693385f9a2277e850ffd6478b
parent08ce7e7526ea8801bad4279e500771889b7813d6 (diff)
downloadpoi-service-8a5158d426753645bad05dca84cbf3afe3490f0a.tar.gz
navigation: fix bug into the build script
-rwxr-xr-xsrc/navigation/script/build.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/navigation/script/build.sh b/src/navigation/script/build.sh
index 528452d..3a5366c 100755
--- a/src/navigation/script/build.sh
+++ b/src/navigation/script/build.sh
@@ -120,8 +120,8 @@ usage() {
echo "command:"
echo " make Build"
echo " make <target bin> <target positioning> Build and set targets "
- echo " <target bin> Path of the binaries (full path)"
- echo " <target positioning> Path of the positioning code (full path)"
+ echo " <target bin> Path of the binaries"
+ echo " <target positioning> Path of the positioning code"
echo " clean Clean"
echo " src-clean Clean the cloned sources"
echo " help Print Help"
@@ -255,8 +255,10 @@ if [ $# -ge 1 ]; then
set-path
build
elif [ $1 = clean ]; then
+ set-path
clean
elif [ $1 = src-clean ]; then
+ set-path
src-clean
else
usage