diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-21 19:49:49 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-21 19:49:49 +0000 |
| commit | 1bead9601b51d682710aa373d234439c7781a50a (patch) | |
| tree | 1ffcbea55f1c120a5c816ab40e04eb0579ae1e3f | |
| parent | b1144718435f9164a08d602aa43ced10bf7cc0bb (diff) | |
remove the -prof flag from Makefile
| -rw-r--r-- | src-3.0/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |