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.
tuned
authorkleing
Fri, 09 May 2003 11:54:04 +0200
changeset 13987 31891dd8c04b
parent 13986 d2fd7deceaa6
child 13988 28c953b54cbe
tuned
Admin/isatest-makeall file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makeall	Fri May 09 11:47:29 2003 +0200
+++ b/Admin/isatest-makeall	Fri May 09 11:54:04 2003 +0200
@@ -101,7 +101,7 @@
 
     # the test
 
-    touch $RUNNING/$SHORT
+    touch $RUNNING/$SHORT.running
 
     echo ------------------- starting test --- `date` --- $HOSTNAME > $TESTLOG 2>&1
 
@@ -128,7 +128,7 @@
         FAIL="$FAIL$SHORT "
     fi
 
-    rm -f $RUNNING/$SHORT
+    rm -f $RUNNING/$SHORT.running
 done
 
 # time and success/failure to master log
isabelle