Skip to content

Commit

Permalink
Ensure the release script will exist in case of failure.
Browse files Browse the repository at this point in the history
  • Loading branch information
bmarty committed Jul 21, 2023
1 parent ce22aec commit 5eb7021
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions tools/release/release.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 5eb7021

Please sign in to comment.