author | wenzelm |
Thu, 15 Nov 2007 11:53:49 +0100 | |
changeset 25437 | 1170e384764d |
parent 25436 | ca46d8a66b69 |
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)