From: simonm <unknown>
Date: Tue, 17 Mar 1998 14:22:54 +0000 (+0000)
Subject: [project @ 1998-03-17 14:22:54 by simonm]
X-Git-Tag: Approx_2487_patches~853
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c6988db14ba45f6b156f0b15c2b0d69dcad09f44;p=ghc-hetmet.git

[project @ 1998-03-17 14:22:54 by simonm]
fix 'make -k' again :-)
---

diff --git a/mk/target.mk b/mk/target.mk
index 3d73af8..d4303c7 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) ..."