summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorSimon Marlow <simonmar@microsoft.com>2007-07-07 19:18:53 +0000
committerSimon Marlow <simonmar@microsoft.com>2007-07-07 19:18:53 +0000
commit8a2809c29de9f23eba7ca682b48390033a9d40f6 (patch)
tree87b75626bfeee4eea7d04456877a16e40d077533 /validate
parent8100c58a929d993d2dd7022412ed6113cf97fba7 (diff)
downloadhaskell-8a2809c29de9f23eba7ca682b48390033a9d40f6.tar.gz
allow build settings to be overriden by adding mk/validate.mk
Diffstat (limited to 'validate')
-rw-r--r--validate6
1 files changed, 6 insertions, 0 deletions
diff --git a/validate b/validate
index 73bef5292d..3f07403341 100644
--- a/validate
+++ b/validate
@@ -7,9 +7,15 @@ fi
if [ -f mk/build.mk ]; then
mv mk/build.mk mk/build.mk.bak
fi
+
+# The default is a "quick" build
echo BuildFlavour=quick >mk/build.mk
cat mk/build.mk.sample >>mk/build.mk
+# You can override the default validate settings using mk/validate.mk
+# e.g. you could add GhcLibWays=p to test profiling.
+echo '-include $(TOP)/mk/validate.mk' >>mk/build.mk
+
sh boot
./configure
# ToDo: configure args