Abort any task in case of any error running shell commands (#5089)

This commit is contained in:
Manuel Alejandro de Brito Fontes 2020-02-16 15:27:39 -03:00 committed by GitHub
parent 14118fc26f
commit 45c9f94b17
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -24,7 +24,7 @@ ifndef VERBOSE
endif
# set default shell
SHELL=/bin/bash -o pipefail
SHELL=/bin/bash -o pipefail -o errexit
# Use the 0.0 tag for testing, it shouldn't clobber any release builds
TAG ?= 0.29.0