From 51d796b88b657e409e995066bc6aea5e8497f407 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Tue, 23 Mar 2021 12:41:31 +0100 Subject: [PATCH] Exit on first error in the before_install script Any errors here are really fatal. --- build/tools/before_install.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build/tools/before_install.sh b/build/tools/before_install.sh index 4dcea0450c..0ad23f4d18 100755 --- a/build/tools/before_install.sh +++ b/build/tools/before_install.sh @@ -4,6 +4,8 @@ # wxWidgets but can also be run by hand if necessary but currently it only # works for Ubuntu versions used by Travis builds. +set -e + SUDO=sudo case $(uname -s) in