Admin/isatest-makeall
changeset 16097 8d41765e2884
parent 16095 f6af6b265d20
child 16567 1ff73dc29166
--- 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*)