add -O flag i guess
This commit is contained in:
parent
04b7872a17
commit
d40fe2a617
1 changed files with 1 additions and 1 deletions
|
@ -72,7 +72,7 @@ executable make-pages
|
||||||
time >= 1.8.0.2 && < 1.10,
|
time >= 1.8.0.2 && < 1.10,
|
||||||
unordered-containers ^>= 0.2.11.0
|
unordered-containers ^>= 0.2.11.0
|
||||||
ghc-options:
|
ghc-options:
|
||||||
-Wall -threaded -rtsopts -with-rtsopts=-N
|
-Wall -threaded -rtsopts -with-rtsopts=-N -O
|
||||||
if flag(pretty-verbose)
|
if flag(pretty-verbose)
|
||||||
build-depends:
|
build-depends:
|
||||||
pretty ^>= 1.1.3.6,
|
pretty ^>= 1.1.3.6,
|
||||||
|
|
Loading…
Reference in a new issue