From 6394f3ccfbb9d14017393b433a38a3921f1083e5 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 22 May 2008 08:58:36 +0000
Subject: [PATCH] Makefile harmonization

---
 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 df6ec072a..53c648908 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