| changeset 25438 | 3314983b6edf |
| parent 25437 | 1170e384764d |
| child 33686 | 8e33ca8832b1 |
--- 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)