# HG changeset patch
# User wenzelm
# Date 1195128115 -3600
# Node ID 3314983b6edfe9f86b442afbb8fa222efcbd4684
# Parent  1170e384764d49ef2f356788bd7564849b864379
use -source instead of -target;

diff -r 1170e384764d -r 3314983b6edf lib/browser/Makefile
--- a/lib/browser/Makefile	Thu Nov 15 11:53:49 2007 +0100
+++ b/lib/browser/Makefile	Thu Nov 15 13:01:55 2007 +0100
@@ -6,7 +6,7 @@
 
 GraphBrowser.jar: GraphBrowser/*.java awtUtilities/*.java
 	mkdir -p $(DST)
-	javac -target 1.4 -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
+	javac -source 1.4 -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
 	jar cf GraphBrowser.jar -C $(DST) . 
 	rm -rf $(DST)