From 2b1c24ecbcecb2d1a1d4ee482eb8bab5e1e75844 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Mon, 5 Nov 2007 16:47:33 +0000
Subject: [PATCH] Add -dcore-lint when validating libraries

---
 mk/validate-settings.mk |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk
index 9390d02..bf665ff 100644
--- a/mk/validate-settings.mk
+++ b/mk/validate-settings.mk
@@ -4,7 +4,7 @@ SRC_CC_OPTS     = -Werror
 SRC_HC_OPTS     = -Werror -H64m -Onot -fasm
 GhcStage1HcOpts = -O -fasm
 GhcStage2HcOpts = -Onot -fasm
-GhcLibHcOpts    = -O -fasm
+GhcLibHcOpts    = -O -fasm -dcore-lint
 GhcLibWays      =
 SplitObjs       = NO
 NoFibWays       =
-- 
1.7.10.4