summaryrefslogtreecommitdiff
path: root/Makefile
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 /Makefile
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 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index d2cd6b8853..7adec86ad1 100644
--- a/Makefile
+++ b/Makefile
@@ -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