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