X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/kernel/fiasco/Makefile

diff --git a/kernel/fiasco/Makefile b/kernel/fiasco/Makefile
index 05566909b..234711484 100644
--- a/kernel/fiasco/Makefile
+++ b/kernel/fiasco/Makefile
@@ -90,7 +90,7 @@ fiasco: fiasco.builddir.create
 	$(MAKE) -C $(DFLBUILDDIR) -j$(PL)
 
 checkallseq:
-	error=0;						      \
+	@error=0;						      \
 	$(RM) -r $(ALLBUILDDIR);				      \
 	for X in $(TEST_TEMPLATES); do				      \
 		echo -e "\n= Building configuration: $$X\n\n";	      \
@@ -116,7 +116,7 @@ checkall l4check:
 .PHONY: dobuildparallel checkallp
 
 dobuildparallel: $(addprefix $(ALLBUILDDIR)/,$(TEST_TEMPLATES))
-	error=0;						              \
+	@error=0;							      \
 	echo "======================================================";        \
 	for d in $(TEST_TEMPLATES); do                                        \
 	  if [ -e $(ALLBUILDDIR)/$$d/build.failed ]; then                     \
@@ -137,7 +137,7 @@ $(addprefix $(ALLBUILDDIR)/,$(TEST_TEMPLATES)):
 	$(MAKE) -C $@ 2>&1 | tee $@/build.log;                                \
 	if [ $${PIPESTATUS[0]} = 0 ];                                         \
 	then [ -z "$(KEEP_BUILD_DIRS)" ] && $(RM) -r $@;                      \
-	else echo $${PIPESTATUS[0]} > $@/build.failed; fi
+	else echo $${PIPESTATUS[0]} > $@/build.failed; fi; true
 
 list:
 	@echo "Templates:"