X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fcustom-settings.mk;fp=mk%2Fcustom-settings.mk;h=db8ebb4451752b14c3284fdcdd50944732efd403;hb=3241a631b29dd076e7c28846463ec8c9a96d19b4;hp=0000000000000000000000000000000000000000;hpb=fb167775d703ba2a3cc1a0527982723845b6997e;p=ghc-hetmet.git

diff --git a/mk/custom-settings.mk b/mk/custom-settings.mk
new file mode 100644
index 0000000..db8ebb4
--- /dev/null
+++ b/mk/custom-settings.mk
@@ -0,0 +1,7 @@
+
+ifeq "$(Validating)" "YES"
+include $(TOP)/mk/validate-settings.mk
+-include $(TOP)/mk/validate.mk
+else
+-include $(TOP)/mk/build.mk
+endif