diff options
Diffstat (limited to 'mk/flavours/devel2.mk')
| -rw-r--r-- | mk/flavours/devel2.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mk/flavours/devel2.mk b/mk/flavours/devel2.mk index 34808a3c9b..f3c99e010b 100644 --- a/mk/flavours/devel2.mk +++ b/mk/flavours/devel2.mk @@ -3,7 +3,6 @@ GhcStage1HcOpts = -O GhcStage2HcOpts = -O0 -DDEBUG GhcLibHcOpts = -O -dcore-lint BUILD_PROF_LIBS = NO -SplitObjs = NO SplitSections = NO HADDOCK_DOCS = NO BUILD_SPHINX_HTML = NO |