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.
purge build directory;
authorwenzelm
Sun, 06 Jan 2008 16:59:42 +0100
changeset 25852 6c8a448be129
parent 25851 606850a6fc1a
child 25853 028dc58ed804
purge build directory;
lib/classes/mk file | annotate | diff | comparison | revisions 
--- a/lib/classes/mk	Sun Jan 06 16:57:25 2008 +0100
+++ b/lib/classes/mk	Sun Jan 06 16:59:42 2008 +0100
@@ -4,7 +4,10 @@
 rm -rf build/ && mkdir -p build
 
 javac -d build isabelle/IsabelleProcess.java \
-&& {
+&& (
   cd build
-  jar cf ../isabelle.jar *
-}
+  jar cf ../isabelle.jar isabelle/*.class
+)
+
+rm -rf build/
+
isabelle