diff options
-rwxr-xr-x | src/navigation/script/build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/navigation/script/build.sh b/src/navigation/script/build.sh index 3a5366c..9eee589 100755 --- a/src/navigation/script/build.sh +++ b/src/navigation/script/build.sh @@ -120,7 +120,7 @@ usage() { echo "command:" echo " make Build" echo " make <target bin> <target positioning> Build and set targets " - echo " <target bin> Path of the binaries" + 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" @@ -264,6 +264,7 @@ if [ $# -ge 1 ]; then usage fi elif [ $# -eq 0 ]; then + set-path build else usage |