From 463b5237c5947b551ecb2b0a6d2419c19bf18a97 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@airbus.com>
Date: Wed, 28 Nov 2018 17:44:13 +0100
Subject: Échec du Makefile parent si l'un des sous-Makefiles plante
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index d8262f2..5750160 100644
--- a/Makefile
+++ b/Makefile
@@ -7,10 +7,12 @@ delegated = clean test traces
 .PHONY: $(delegated)
 
 $(delegated)::
-	for i in $(implementations);                \
-	do                                          \
-	    make -C $$i $@;                         \
-	done
+	status=0;                               \
+	for i in $(implementations);            \
+	do                                      \
+	    make -C $$i $@ || status=1;         \
+	done;                                   \
+	exit $$status
 
 clean::
 	- rm traces.tgz
-- 
cgit v1.2.3