X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fcustom-settings.mk;h=75c9d8940f3468ddaa1c126702cf4a2924ae5151;hb=ab1d5052de53479377c961d1e966f0cf0b82c592;hp=db8ebb4451752b14c3284fdcdd50944732efd403;hpb=3241a631b29dd076e7c28846463ec8c9a96d19b4;p=ghc-hetmet.git diff --git a/mk/custom-settings.mk b/mk/custom-settings.mk index db8ebb4..75c9d89 100644 --- a/mk/custom-settings.mk +++ b/mk/custom-settings.mk @@ -1,7 +1,9 @@ +-include mk/are-validating.mk + ifeq "$(Validating)" "YES" -include $(TOP)/mk/validate-settings.mk --include $(TOP)/mk/validate.mk +include mk/validate-settings.mk +-include mk/validate.mk else --include $(TOP)/mk/build.mk +-include mk/build.mk endif