diff options
-rw-r--r-- | compiler/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index adf6aeb424..7ca001a3ed 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -213,6 +213,7 @@ build.stage.%: doc.stage.%: $(CABAL) haddock --distpref dist-stage$* \ --haddock-option=--optghc=-DSTAGE=$* \ + --haddock-option=+RTS --haddock-option=-s --haddock-option=-c --haddock-option=-RTS \ --with-haddock=$(FPTOOLS_TOP_ABS)/utils/haddock/install-inplace/bin/haddock install: |