diff options
| -rw-r--r-- | pandoc.cabal | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index 60e719d12..b1e0e1bed 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -173,7 +173,7 @@ Library Ghc-Options: -O2 -Wall -fno-warn-unused-do-bind else Ghc-Options: -O2 -Wall - Ghc-Prof-Options: -auto-all -caf-all + Ghc-Prof-Options: -auto-all -caf-all Extensions: CPP Hs-Source-Dirs: src -- END DUPLICATED SECTION @@ -244,7 +244,7 @@ Executable pandoc Ghc-Options: -O2 -Wall -fno-warn-unused-do-bind else Ghc-Options: -O2 -Wall - Ghc-Prof-Options: -auto-all -caf-all + Ghc-Prof-Options: -auto-all -caf-all Extensions: CPP Hs-Source-Dirs: src -- END DUPLICATED SECTION |