From 8babfb2911702cf56c3aa28c41939e81eca29b0e Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Fri, 9 May 2008 09:36:29 +0000
Subject: [PATCH] Remove profiling options added by mistake.

---
 Makefile.am | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index d811be1..e997b93 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,5 +1,4 @@
 GHC_OPTS = \
-	-prof -auto-all \
 	-fglasgow-exts \
 	-fwarn-deprecations \
 	-fwarn-duplicate-exports \