Modifié Makefile pour terminer immédiatement en cas d'erreur (pour ne pas continuer...

diff --git a/Makefile b/Makefile
index 933338df5d789bc55b3295742e7b8c73f87af722..cd1e6e7a13e9ce21972a5bb6808e6684447bc6f0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@ endif
 
 all:
        @for k in $(STAGES); do \
-         make -C stage$${k} $(MAKECMDGOALS); \
+         make -C stage$${k} $(MAKECMDGOALS) || exit 1; \
         done
 
 $(MAKECMDGOALS): all