diff options
Diffstat (limited to 'mk/flavours/devel1.mk')
| -rw-r--r-- | mk/flavours/devel1.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mk/flavours/devel1.mk b/mk/flavours/devel1.mk index e062a57909..1c03aff10b 100644 --- a/mk/flavours/devel1.mk +++ b/mk/flavours/devel1.mk @@ -10,3 +10,7 @@ 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 |