diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index fc5dc5c005..3480492a82 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -11,6 +11,7 @@ ## Not Installs: ## - FastRTPS and FastCDR +set -e INSTALL_NUTTX="true" INSTALL_SIM="true"