diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index ffeb1d0e21..2183ab02d4 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -1,5 +1,7 @@ #! /usr/bin/env bash +set -e + ## Bash script to setup PX4 development environment on Ubuntu LTS (20.04, 18.04, 16.04). ## Can also be used in docker. ##