diff --git a/make-pages/make-pages.cabal b/make-pages/make-pages.cabal index aff4102..3e9121f 100644 --- a/make-pages/make-pages.cabal +++ b/make-pages/make-pages.cabal @@ -72,7 +72,7 @@ executable make-pages time >= 1.8.0.2 && < 1.10, unordered-containers ^>= 0.2.11.0 ghc-options: - -Wall -threaded -rtsopts -with-rtsopts=-N + -Wall -threaded -rtsopts -with-rtsopts=-N -O if flag(pretty-verbose) build-depends: pretty ^>= 1.1.3.6,