From fb7391ae2f2bd5261fc4f70766a36ec7285c007a Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 11 Jan 2013 13:21:51 +0000 Subject: 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 | 2 ++ 1 file changed, 2 insertions(+) (limited to 'mk') 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). -- cgit v1.2.1