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 /Makefile | |
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 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -595,7 +595,7 @@ DIST_CLEAN_FILES += config.cache config.status mk/config.h mk/stamp-h \ docs/users_guide/ug-book.xml extra-gcc-opts # don't clean config.mk: it's needed when cleaning stuff later on -LATE_DIST_CLEAN_FILES += mk/config.mk +LATE_DIST_CLEAN_FILES += mk/config.mk mk/are-validating.mk # VERSION is shipped in a source dist MAINTAINER_CLEAN_FILES += VERSION |