commit 463b5237c5947b551ecb2b0a6d2419c19bf18a97 parent 10461707e04a583221a1919c960dc6acce291659 Author: Kévin Le Gouguec <kevin.legouguec@airbus.com> Date: Wed, 28 Nov 2018 17:44:13 +0100 Échec du Makefile parent si l'un des sous-Makefiles plante Diffstat:
| M | Makefile | | | 10 | ++++++---- |
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git 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