From c6988db14ba45f6b156f0b15c2b0d69dcad09f44 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Tue, 17 Mar 1998 14:22:54 +0000
Subject: [PATCH] [project @ 1998-03-17 14:22:54 by simonm] fix 'make -k' again
 :-)

---
 mk/target.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/target.mk b/mk/target.mk
index 3d73af82c737..d4303c711301 100644
--- a/mk/target.mk
+++ b/mk/target.mk
@@ -1036,7 +1036,7 @@ all docs runtests boot TAGS clean veryclean maintainer-clean install info ::
 	  echo " in $(shell pwd)/$$i"; \
 	  echo "------------------------------------------------------------------------"; \
 	  $(MAKE) --no-print-directory -C $$i $(MFLAGS) $@; \
-	  if [ $$? -eq 0 ] ;  then true; else exit $$x_on_err; fi; \
+	  if [ $$? -eq 0 -o $$x_on_err -eq 0 ] ;  then true; else exit 1; fi; \
 	done
 	@echo "------------------------------------------------------------------------"
 	@echo "===fptools== Finished making \`$@' in $(SUBDIRS) ..."
-- 
GitLab