From fa7a87bc7c3468024c6aa05cda23c575b1cf707a Mon Sep 17 00:00:00 2001 From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> Date: Wed, 24 May 2023 14:52:11 +0200 Subject: ci: Add missing set -e to 01_base_install.sh Also, set -x for easier debugging. Also, do the same for ci/test/00_setup_env.sh --- ci/test/00_setup_env.sh | 2 ++ ci/test/01_base_install.sh | 2 ++ 2 files changed, 4 insertions(+) diff --git a/ci/test/00_setup_env.sh b/ci/test/00_setup_env.sh index d98f05ca6b..532c8280ba 100755 --- a/ci/test/00_setup_env.sh +++ b/ci/test/00_setup_env.sh @@ -6,6 +6,8 @@ export LC_ALL=C.UTF-8 +set -ex + # The root dir. # The ci system copies this folder. BASE_ROOT_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )"/../../ >/dev/null 2>&1 && pwd ) diff --git a/ci/test/01_base_install.sh b/ci/test/01_base_install.sh index beb5aa9242..98f96f0ece 100755 --- a/ci/test/01_base_install.sh +++ b/ci/test/01_base_install.sh @@ -6,6 +6,8 @@ export LC_ALL=C.UTF-8 +set -ex + CFG_DONE="ci.base-install-done" # Use a global git setting to remember whether this script ran to avoid running it twice if [ "$(git config --global ${CFG_DONE})" == "true" ]; then -- cgit v1.2.3