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 classes after compilation;
authorwenzelm
Tue, 26 Aug 2008 12:20:52 +0200 (2008-08-26)
changeset 28003 9c8d5e910169
parent 28002 95bd956c476c
child 28004 c8642f498aa3
purge classes after compilation;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Tue Aug 26 12:17:58 2008 +0200
+++ b/src/Pure/IsaMakefile	Tue Aug 26 12:20:52 2008 +0200
@@ -130,6 +130,7 @@
 	scaladoc -d classes $(SCALA_FILES)
 	@mkdir -p `dirname $@`
 	@cd classes; jar cf $@ isabelle
+	@rm -rf classes
 
 clean-jar:
 	@rm -f $(SCALA_TARGET)
isabelle