From 3b39607bbac8e6ab99198ab608f14e1f84c2f60e Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 24 Jun 2004 14:06:09 +0000
Subject: last-minute bug fixes

---
 src/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index c2deba8e4..bd33ea63a 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -5,6 +5,7 @@ GHMAKE=$(GHC) --make
 GHCFLAGS=-package lang -package util -fglasgow-exts $(CPPFLAGS) $(LDFLAGS)
 GHCOPTFLAGS=-O $(GHCFLAGS)
 GHCFUDFLAG=-package Fudgets
+JAVAFLAGS=-target 1.4 -source 1.4
 
 HUGSINCLUDE    =.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile:newparsing:trace:
 BASICINCLUDE   =-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -inewparsing -iparsers -inotrace
@@ -101,7 +102,7 @@ ghci-nofud:
 today:
 	util/mktoday.sh
 javac:
-	$(JAVAC) -target 1.4 -source 1.4 java/*.java
+	$(JAVAC) $(JAVAFLAGS) java/*.java
 
 jar: javac
 	cd java; $(JAR) -cmf manifest.txt gf-java.jar *.class
-- 
cgit v1.2.3