diff options
| -rwxr-xr-x | .circleci/prepare-system.sh | 1 | ||||
| -rw-r--r-- | mk/flavours/perf.mk | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/.circleci/prepare-system.sh b/.circleci/prepare-system.sh index ab82d4dbba..804e0fd890 100755 --- a/.circleci/prepare-system.sh +++ b/.circleci/prepare-system.sh @@ -29,7 +29,6 @@ cat <<EOF >> mk/build.mk BuildFlavour=$BUILD_FLAVOUR ifneq "\$(BuildFlavour)" "" include mk/flavours/\$(BuildFlavour).mk -GhcLibHcOpts+=-haddock endif EOF diff --git a/mk/flavours/perf.mk b/mk/flavours/perf.mk index ee856626ad..93c5919b59 100644 --- a/mk/flavours/perf.mk +++ b/mk/flavours/perf.mk @@ -1,7 +1,7 @@ SRC_HC_OPTS = -O -H64m GhcStage1HcOpts = -O2 GhcStage2HcOpts = -O2 -GhcLibHcOpts = -O2 +GhcLibHcOpts = -O2 -haddock BUILD_PROF_LIBS = YES #HADDOCK_DOCS #BUILD_SPHINX_HTML |