From 10da6804ed7428d4986e943398aef4a2c430ea67 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@chalmers.se>
Date: Wed, 21 May 2008 19:49:49 +0000
Subject: [PATCH] remove the -prof flag from Makefile

---
 src-3.0/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src-3.0/Makefile b/src-3.0/Makefile
index 920cde6b5..421409280 100644
--- a/src-3.0/Makefile
+++ b/src-3.0/Makefile
@@ -4,7 +4,7 @@ include config.mk
 GHMAKE=$(GHC) --make
 GHCXMAKE=ghcxmake
 GHCFLAGS+= -fglasgow-exts
-GHCOPTFLAGS=-O2 -prof
+GHCOPTFLAGS=-O2
 GHCFUDFLAG=
 JAVAFLAGS=-target 1.4 -source 1.4
 GFEDITOR=JavaGUI2