diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index 78bd3afa25..18b43161c4 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -42,6 +42,18 @@ do INSIDE_DOCKER="true" fi + if [[ $arg == "--help" ]]; then + echo "#⚡️ PX4 Dependency Installer for Ubuntu" + echo "# Options: +# +# --with-java boolean +# --with-rtps boolean +# --no-nuttx boolean +# --no-sim-tools boolean" + echo "#" + exit + fi + done # script directory