From 480bfec87575b75382e0463f21ba5303eb02c82c Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 22 Jun 2004 13:24:01 +0000 Subject: [PATCH] use target 1.4 for java code --- src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile b/src/Makefile index 193c9702d..8f4c8b45a 100644 --- a/src/Makefile +++ b/src/Makefile @@ -97,7 +97,7 @@ ghci-nofud: today: util/mktoday.sh javac: - javac java/*.java + javac -target 1.4 java/*.java jar: javac cd java; jar -cmf manifest.txt gf-java.jar *.class