Skip to content
Snippets Groups Projects
Commit 00f6361f authored by Eric Müller's avatar Eric Müller :mountain_bicyclist:
Browse files

Fix(bash<5.1): shell option "inherit_errexit" was not available before bash 5.1

Change-Id: I9afa6b83e82fc6bbbd54183bac68afe28416b05c
parent 4680635d
No related branches found
No related tags found
No related merge requests found
......@@ -3,7 +3,7 @@
# Prepare spack by bootstrapping and installing the visionary compiler
#
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
sourcedir="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${sourcedir}/commons.sh"
......
#!/bin/bash
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
if (( $(find sandboxes -mindepth 1 -maxdepth 1 | wc -l) > 1 )); then
echo "More than one sandbox found, this should never happen!" >&2
......
#!/bin/bash
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
# set generic locale for building
export LANG=C.UTF-8
......
#!/bin/bash
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
JENKINS_ENV_FILE_INSIDE="/tmp/spack/jenkins.env"
if [ -n "${WORKSPACE:-}" ]; then
......
......@@ -6,7 +6,7 @@
#
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
SOURCE_DIR="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${SOURCE_DIR}/commons.sh"
......
#!/bin/bash
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
# This script searches the environment-modules install folder for the init
# folder which contains the init scripts for a variety of shells.
......
......@@ -3,7 +3,7 @@
# regenerated!)
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
sourcedir="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${sourcedir}/commons.sh"
......
......@@ -3,7 +3,7 @@
# has been installed).
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
sourcedir="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${sourcedir}/commons.sh"
......
......@@ -3,7 +3,7 @@
# prepare spack as root during container setup
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
SOURCE_DIR="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${SOURCE_DIR}/commons.sh"
......
......@@ -17,7 +17,7 @@
# .ci/create_temporary_build_cache_after_failure.sh).
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
sourcedir="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${sourcedir}/commons.sh"
......
......@@ -5,7 +5,7 @@
#
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
sourcedir="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${sourcedir}/commons.sh"
......
......@@ -5,7 +5,7 @@
#
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
sourcedir="$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")"
source "${sourcedir}/commons.sh"
......
#!/bin/bash
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
# inside the container the tmpdir is mounted to /tmp/spack
export SPACK_TMPDIR="/tmp/spack"
......
#!/bin/bash
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
# only update build cache for stable builds
if [ "${CONTAINER_BUILD_TYPE:-}" != "stable" ]; then
......
......@@ -7,7 +7,7 @@
#
set -euo pipefail
shopt -s inherit_errexit
shopt -s inherit_errexit 2>/dev/null || true
usage() { cat 1>&2 <<EOF
Usage: ${0} [-c <base-cache>] [-d <destination-folder>]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment