Échec du Makefile parent si l'un des sous-Makefiles plante

1 files 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