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