From 5809b47cdcff46aff8bc38eb239ed3e358d14aed Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Tue, 22 Jun 2004 13:42:48 +0000
Subject: [PATCH] use -source 1.4 for java code

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

diff --git a/src/Makefile b/src/Makefile
index 8f4c8b45a..93bedc215 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -97,7 +97,7 @@ ghci-nofud:
 today:
 	util/mktoday.sh
 javac:
-	javac -target 1.4 java/*.java
+	javac -target 1.4 -source 1.4 java/*.java
 
 jar: javac
 	cd java; jar -cmf manifest.txt gf-java.jar *.class