| changeset 25437 | 1170e384764d |
| parent 14545 | 71b9ef3d047f |
| child 25438 | 3314983b6edf |
--- a/lib/browser/Makefile Thu Nov 15 11:49:04 2007 +0100 +++ b/lib/browser/Makefile Thu Nov 15 11:53:49 2007 +0100 @@ -6,7 +6,7 @@ GraphBrowser.jar: GraphBrowser/*.java awtUtilities/*.java mkdir -p $(DST) - javac -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java + javac -target 1.4 -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java jar cf GraphBrowser.jar -C $(DST) . rm -rf $(DST)