X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fvalidate-settings.mk;h=bf665ff19fa3160df16d617906cb3058350cc852;hb=b93e282a8c2e86ebdf2bc05fce91f001c53bd88d;hp=394fa9d25899aaccce171743ff54b3e8aa821e01;hpb=0e86b6601ea17d89c7f46b3a902093d4c6020da8;p=ghc-hetmet.git

diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk
index 394fa9d..bf665ff 100644
--- a/mk/validate-settings.mk
+++ b/mk/validate-settings.mk
@@ -4,9 +4,10 @@ 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 =
-STRIP=:
+NoFibWays       =
+STRIP           = :
+GhcBootLibs     = YES