From de7866be19b01bb3631b80752675395f2112421d Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Fri, 21 Jul 2023 12:51:10 +0200 Subject: [PATCH] Ensure the release script will exist in case of failure. --- tools/release/release.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/release/release.sh b/tools/release/release.sh index 54ee8117ec..9934f43610 100755 --- a/tools/release/release.sh +++ b/tools/release/release.sh @@ -16,6 +16,9 @@ # limitations under the License. # +# exit when any command fails +set -e + printf "\n================================================================================\n" printf "| Welcome to the release script! |\n" printf "================================================================================\n"