setup: ubuntu help options

This commit is contained in:
Ramon Roche 2022-08-02 09:38:25 -07:00
parent a3d0ca9800
commit 38fc86cf3b
No known key found for this signature in database
GPG Key ID: 275988FAE5821713

View File

@ -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