From: simonm <unknown>
Date: Thu, 4 Dec 1997 12:18:41 +0000 (+0000)
Subject: [project @ 1997-12-04 12:18:41 by simonm]
X-Git-Tag: Approx_2487_patches~1195
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=2caf4c69ddfb11eff5f92c904420ba15f6054fb8;p=ghc-hetmet.git

[project @ 1997-12-04 12:18:41 by simonm]
add lengthy comment about recursive makes and failure.
---

diff --git a/mk/target.mk b/mk/target.mk
index d74d9f1..02be747 100644
--- a/mk/target.mk
+++ b/mk/target.mk
@@ -1004,6 +1004,18 @@ endif	# if way
 
 # No ways, so iterate over the SUBDIRS
 
+# note about recursively invoking make: we'd like make to drop all the
+# way back to the top level if it fails in any of the
+# sub(sub-...)directories.  This is done by setting the -e flag to the
+# shell during the loop, which causes an immediate failure if any of
+# the shell commands fail.
+
+# One exception: if the user gave the -i or -k flag to make in the
+# first place, we'd like to reverse this behaviour.  So we check for
+# these flags, and set the -e flag appropriately.  NOTE: watch out for
+# the --no-print-directory flag which is passed to recursive
+# invocations of make.
+
 ifeq "$(way)" ""
 ifneq "$(SUBDIRS)" ""