changeset 13987 | 31891dd8c04b |
parent 13985 | 3852929a8d1d |
child 13990 | 506102b6a6d4 |
--- 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