From 45c9f94b17dacaecf3b921ccf030e74abdbeaddc Mon Sep 17 00:00:00 2001
From: Manuel Alejandro de Brito Fontes <aledbf@gmail.com>
Date: Sun, 16 Feb 2020 15:27:39 -0300
Subject: [PATCH] Abort any task in case of any error running shell commands
 (#5089)

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index a519686a4..56f5e3112 100644
--- a/Makefile
+++ b/Makefile
@@ -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