diff options
author | Ian Lynagh <igloo@earth.li> | 2008-08-17 12:33:11 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-08-17 12:33:11 +0000 |
commit | 6594f91c25da7d5becc90d73adfdabf922cc67da (patch) | |
tree | e6dd57b1b557b577f181c811dc17c93fc0fc13d1 /mk/custom-settings.mk | |
parent | 5d82b8a5f6bedb0f62727e5dde90cef054edba1e (diff) | |
download | haskell-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.mk | 2 |
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 |