diff options
Diffstat (limited to 'mk/flavours/validate.mk')
| -rw-r--r-- | mk/flavours/validate.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/flavours/validate.mk b/mk/flavours/validate.mk index 1d18641227..57831035d7 100644 --- a/mk/flavours/validate.mk +++ b/mk/flavours/validate.mk @@ -5,6 +5,7 @@ GhcStage2HcOpts = -O -dcore-lint GhcLibHcOpts = -O -dcore-lint BUILD_PROF_LIBS = NO SplitObjs = NO +SplitSections = NO HADDOCK_DOCS = YES BUILD_SPHINX_HTML = YES BUILD_SPHINX_PDF = NO |