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.
clean up var/running dir before spawning new tests
authorkleing
Mon, 05 Mar 2007 22:39:59 +0100
changeset 22413 3df5c44482e2
parent 22412 6366b0bd1bc3
child 22414 3f189ea9bfe7
clean up var/running dir before spawning new tests
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Mon Mar 05 22:25:00 2007 +0100
+++ b/Admin/isatest/isatest-makedist	Mon Mar 05 22:39:59 2007 +0100
@@ -89,6 +89,8 @@
 ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
 echo "$(date) $HOSTNAME $PRG: dist build successful, elapsed time $ELAPSED." >> $MASTERLOG
 
+## clean up var/running
+rm -f $RUNNING/*
 
 ## spawn test runs
isabelle