From 38fc86cf3b9917a0c2d50d98940ad81bab4e6bd1 Mon Sep 17 00:00:00 2001 From: Ramon Roche Date: Tue, 2 Aug 2022 09:38:25 -0700 Subject: [PATCH] setup: ubuntu help options --- Tools/setup/ubuntu.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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