Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
change order of options for jar (fix error on Sun)
authorkleing
Tue, 13 Apr 2004 00:43:23 +0200
changeset 14545 71b9ef3d047f
parent 14544 2d0c4c5819d3
child 14546 8c846773878a
change order of options for jar (fix error on Sun)
lib/browser/Makefile file | annotate | diff | comparison | revisions 
--- a/lib/browser/Makefile	Tue Apr 13 00:01:10 2004 +0200
+++ b/lib/browser/Makefile	Tue Apr 13 00:43:23 2004 +0200
@@ -7,7 +7,7 @@
 GraphBrowser.jar: GraphBrowser/*.java awtUtilities/*.java
 	mkdir -p $(DST)
 	javac -d $(DST) GraphBrowser/GraphBrowser.java GraphBrowser/Console.java
-	jar -C $(DST) -c -f GraphBrowser.jar . 
+	jar cf GraphBrowser.jar -C $(DST) . 
 	rm -rf $(DST)
 
 clean:
isabelle