From: Ian Lynagh <igloo@earth.li>
Date: Sun, 17 Aug 2008 12:33:11 +0000 (+0000)
Subject: Change how we know whether or not we are validating
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6594f91c25da7d5becc90d73adfdabf922cc67da;hp=6594f91c25da7d5becc90d73adfdabf922cc67da;p=ghc-hetmet.git

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.
---