X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=validate;h=3f074033413cbf7852451a14583cfb991fdb52cd;hp=73bef5292dd7c4222525bb3868c4b6791f5a11f7;hb=8a2809c29de9f23eba7ca682b48390033a9d40f6;hpb=8100c58a929d993d2dd7022412ed6113cf97fba7 diff --git a/validate b/validate index 73bef52..3f07403 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