From 4017711439cb395d50fd50109a30f2193b1e90c4 Mon Sep 17 00:00:00 2001 From: Luigi Pinca Date: Fri, 5 Apr 2013 18:57:14 +0200 Subject: [PATCH] updated Makefile to ensure that the build will fail in case of errors --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 3c11be8..65ed692 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +SHELL=/bin/bash -o pipefail + default: @: -- 2.54.0