summaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authorIan Lynagh <ian@well-typed.com>2013-01-11 13:21:51 +0000
committerIan Lynagh <ian@well-typed.com>2013-01-11 13:28:50 +0000
commitfb7391ae2f2bd5261fc4f70766a36ec7285c007a (patch)
treec7ef5da39d634fb51258784f7f78abeaf240e4b8 /mk
parent96ea76c7afd6d61e499b936827e2212001065e90 (diff)
downloadhaskell-fb7391ae2f2bd5261fc4f70766a36ec7285c007a.tar.gz
Build system: Add ExtraMakefileSanityChecks for extra safety
Whether we check that .hi files have actually been created is now controlled by $(ExtraMakefileSanityChecks) (defaults to NO). Also updated comments about the .hi rule.
Diffstat (limited to 'mk')
-rw-r--r--mk/config.mk.in2
1 files changed, 2 insertions, 0 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in
index 3d7918d001..19c369dbfa 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -233,6 +233,8 @@ include $(TOP)/mk/install.mk
# portable as possible.
BeConservative = NO
+ExtraMakefileSanityChecks = NO
+
#
# Building various ways?
# (right now, empty if not).