summaryrefslogtreecommitdiff
path: root/mk/custom-settings.mk
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2008-08-17 12:33:11 +0000
committerIan Lynagh <igloo@earth.li>2008-08-17 12:33:11 +0000
commit6594f91c25da7d5becc90d73adfdabf922cc67da (patch)
treee6dd57b1b557b577f181c811dc17c93fc0fc13d1 /mk/custom-settings.mk
parent5d82b8a5f6bedb0f62727e5dde90cef054edba1e (diff)
downloadhaskell-6594f91c25da7d5becc90d73adfdabf922cc67da.tar.gz
Change how we know whether or not we are validating
We now set Validating=YES in mk/are-validating.mk rather than on the commandline. This means that if you build a tree with validate then just running make in it will use the validate flags. "make distclean" removes mk/are-validating.mk, putting us back in standard build mode.
Diffstat (limited to 'mk/custom-settings.mk')
-rw-r--r--mk/custom-settings.mk2
1 files changed, 2 insertions, 0 deletions
diff --git a/mk/custom-settings.mk b/mk/custom-settings.mk
index db8ebb4451..1a01873d31 100644
--- a/mk/custom-settings.mk
+++ b/mk/custom-settings.mk
@@ -1,4 +1,6 @@
+-include $(TOP)/mk/are-validating.mk
+
ifeq "$(Validating)" "YES"
include $(TOP)/mk/validate-settings.mk
-include $(TOP)/mk/validate.mk