diff options
Diffstat (limited to 'mk/flavours/validate.mk')
-rw-r--r-- | mk/flavours/validate.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mk/flavours/validate.mk b/mk/flavours/validate.mk index a1470cd610..ba33584488 100644 --- a/mk/flavours/validate.mk +++ b/mk/flavours/validate.mk @@ -4,7 +4,6 @@ GhcStage1HcOpts = -O2 -DDEBUG GhcStage2HcOpts = -O -dcore-lint -dno-debug-output GhcLibHcOpts = -O -dcore-lint -dno-debug-output BUILD_PROF_LIBS = NO -SplitObjs = NO SplitSections = NO HADDOCK_DOCS = YES BUILD_SPHINX_HTML = YES |