From f12bbcf5fbc4b85d352bc14d483fe0764280b1b8 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Wed, 7 Dec 2022 15:30:53 +0100 Subject: fix preludes in bash scripts --- test/test.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/test/test.sh b/test/test.sh index 90c0a1f..9b1bc14 100755 --- a/test/test.sh +++ b/test/test.sh @@ -6,6 +6,7 @@ # Distributed under the MIT License. set -o errexit -o nounset -o pipefail +shopt -s inherit_errexit lastpipe script_dir="$( dirname -- "${BASH_SOURCE[0]}" )" script_dir="$( cd -- "$script_dir" && pwd )" -- cgit v1.2.3