From 0206750fcd3fe2299419a9020ec39fa557a866d0 Mon Sep 17 00:00:00 2001
From: Reid Barton <rwbarton@gmail.com>
Date: Sat, 11 Feb 2017 00:30:12 -0500
Subject: Disable core lint

---
 mk/custom-settings.mk | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/mk/custom-settings.mk b/mk/custom-settings.mk
index 2b4b127102..3fb8e63155 100644
--- a/mk/custom-settings.mk
+++ b/mk/custom-settings.mk
@@ -5,7 +5,11 @@ ifeq "$(Validating)" "YES"
 include mk/flavours/validate.mk
 -include mk/validate.mk
 else
--include $(firstword $(wildcard mk/$(TargetPlatformFull)-build.mk) mk/build.mk)
+# -include $(firstword $(wildcard mk/$(TargetPlatformFull)-build.mk) mk/build.mk)
+GhcHcOpts  = 
+GhcLibWays := $(filter v dyn,$(GhcLibWays))
+GhcLibHcOpts += -O
+GhcStage2HcOpts += -O
 endif
 
 ifeq "$(BINDIST)" "YES"
-- 
cgit v1.2.1