diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-05-22 08:58:36 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-05-22 08:58:36 +0000 |
| commit | 6394f3ccfbb9d14017393b433a38a3921f1083e5 (patch) | |
| tree | c5fb794c8c35909c9c26d66d3436fffb06b90038 | |
| parent | 3a27dd455ee22b9b6eb9e9ec9656b344bd8741a0 (diff) | |
Makefile harmonization
| -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 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 |