diff options
-rwxr-xr-x | src/navigation/script/build.sh | 6 |
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 |