# HG changeset patch
# User kleing
# Date 1052474044 -7200
# Node ID 31891dd8c04b7bfafc50a15bef45c5ee539c0d77
# Parent  d2fd7deceaa67dedca9596b068b4ba0d9d28f5e9
tuned

diff -r d2fd7deceaa6 -r 31891dd8c04b Admin/isatest-makeall
--- 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