FIX biographical profiling (#3039, probably #2297)
[ghc-hetmet.git] / mk / custom-settings.mk
1
2 -include $(TOP)/mk/are-validating.mk
3
4 ifeq "$(Validating)" "YES"
5 include $(TOP)/mk/validate-settings.mk
6 -include $(TOP)/mk/validate.mk
7 else
8 -include $(TOP)/mk/build.mk
9 endif