From d3a1225c98076c626d601e01e1f785066122a5b7 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Thu, 13 Aug 2020 21:53:39 -0400
Subject: [PATCH] Tools: Ubuntu setup remove "set -e" to prevent grep early
 exit

 - the gcc version grep was causing the script to exit early
---
 Tools/setup/ubuntu.sh | 2 --
 1 file changed, 2 deletions(-)

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"