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