From bac4854424dd1110e8a12d0ad4c999617214bbcc Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Mon, 13 Jan 2020 18:12:02 +0100
Subject: [PATCH] setup: stop on error

---
 Tools/setup/ubuntu.sh | 1 +
 1 file changed, 1 insertion(+)

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"