diff options
Diffstat (limited to 'mk/flavours/devel2.mk')
| -rw-r--r-- | mk/flavours/devel2.mk | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/mk/flavours/devel2.mk b/mk/flavours/devel2.mk deleted file mode 100644 index 2d7d3b3884..0000000000 --- a/mk/flavours/devel2.mk +++ /dev/null @@ -1,16 +0,0 @@ -SRC_HC_OPTS = -O -H64m -GhcStage1HcOpts = -O2 -GhcStage2HcOpts = -O0 -DDEBUG -GhcLibHcOpts = -O -dcore-lint -BUILD_PROF_LIBS = NO -SplitSections = NO -HADDOCK_DOCS = NO -BUILD_SPHINX_HTML = NO -BUILD_SPHINX_PDF = NO -BUILD_MAN = NO - -LAX_DEPENDENCIES = YES - -# Reduce optimisation when building Cabal; this makes a significant difference -# in overall build time. See #16817. -libraries/Cabal_dist-install_HC_OPTS += -O0 |