Build system: Add ExtraMakefileSanityChecks for extra safety
authorIan Lynagh <ian@well-typed.com>
Fri, 11 Jan 2013 13:21:51 +0000 (13:21 +0000)
committerIan Lynagh <ian@well-typed.com>
Fri, 11 Jan 2013 13:28:50 +0000 (13:28 +0000)
commitfb7391ae2f2bd5261fc4f70766a36ec7285c007a
treec7ef5da39d634fb51258784f7f78abeaf240e4b8
parent96ea76c7afd6d61e499b936827e2212001065e90
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.
mk/config.mk.in
rules/hi-rule.mk