# HG changeset patch
# User kleing
# Date 1117149710 -7200
# Node ID 8d41765e28842d53c15270e9ab9f087853d7d93f
# Parent  16e895296b2a2dcefe34316c87a31ace8df7533d
log more failure types

diff -r 16e895296b2a -r 8d41765e2884 Admin/isatest-makeall
--- a/Admin/isatest-makeall	Fri May 27 01:12:15 2005 +0200
+++ b/Admin/isatest-makeall	Fri May 27 01:21:50 2005 +0200
@@ -29,6 +29,7 @@
 function fail()
 {
   echo "$1" >&2
+  echo "$(date) $HOSTNAME $PRG: FAILED, $1" >> $MASTERLOG
   exit 2
 }
 
@@ -57,12 +58,12 @@
   
     sunbroy2)
         MFLAGS="-j 6"
-	NICE="nice"
+        NICE="nice"
         ;;
 
     sunbroy1)
         MFLAGS="-j 2"
-	NICE="nice"
+        NICE="nice"
         ;;
 
     macbroy*)