diff options
| author | bringert <unknown> | 2004-12-01 14:14:07 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-12-01 14:14:07 +0000 |
| commit | 78fa296cac2256fb50413d04a6629a8fd972e0de (patch) | |
| tree | 6237a48005a87811e00f86ed07686e29eb78a04c | |
| parent | 1937fbfab3662c82933aabc8c82de1b7466859a8 (diff) | |
Changed default optimization level to -O2
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 1c968568e..1efc4ab85 100644 --- a/src/Makefile +++ b/src/Makefile @@ -4,7 +4,7 @@ include config.mk GHMAKE=$(GHC) --make GHCXMAKE=ghcxmake GHCFLAGS=-package lang -package util -fglasgow-exts $(CPPFLAGS) $(LDFLAGS) -GHCOPTFLAGS=-O $(GHCFLAGS) +GHCOPTFLAGS=-O2 $(GHCFLAGS) GHCFUDFLAG= JAVAFLAGS=-target 1.4 -source 1.4 |