diff options
author | Ian Lynagh <ian@well-typed.com> | 2013-01-11 13:21:51 +0000 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-01-11 13:28:50 +0000 |
commit | fb7391ae2f2bd5261fc4f70766a36ec7285c007a (patch) | |
tree | c7ef5da39d634fb51258784f7f78abeaf240e4b8 /mk | |
parent | 96ea76c7afd6d61e499b936827e2212001065e90 (diff) | |
download | haskell-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.in | 2 |
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). |