yesod devel disables library profiling

2013-02-26 13:19:12 +02:00 · 2013-02-26 13:19:12 +02:00 · 2be6a9fdca
commit 2be6a9fdca
parent 078fee969b
1 changed files with 1 additions and 0 deletions
--- a/yesod/Devel.hs
+++ b/yesod/Devel.hs
@ -260,6 +260,7 @@ configure opts extraArgs =
                                ([ "configure"
                                 , "-flibrary-only"
                                 , "-fdevel"
+                                 , "--disable-library-profiling"
                                 , "--with-ld=yesod-ld-wrapper"
                                 , "--with-ghc=yesod-ghc-wrapper"
                                 , "--with-ar=yesod-ar-wrapper"