From 2be6a9fdca48ec6d10c8dac34404de35824644b0 Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Tue, 26 Feb 2013 13:19:12 +0200
Subject: [PATCH] yesod devel disables library profiling

---
 yesod/Devel.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/yesod/Devel.hs b/yesod/Devel.hs
index ca88047b..ac477db1 100644
--- 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"