# HG changeset patch
# User isatest
# Date 1028017774 -7200
# Node ID 470daa44496749e7df23a1996a650ce1459f22ea
# Parent  b0ba3b3573e1427130e6fc5a55a34f2c7a85c9f6
- changed date format for proper lexicographical ordering
- send tail of log in email

diff -r b0ba3b3573e1 -r 470daa444967 Admin/isatest-makeall
--- a/Admin/isatest-makeall	Tue Jul 30 10:28:38 2002 +0200
+++ b/Admin/isatest-makeall	Tue Jul 30 10:29:34 2002 +0200
@@ -60,7 +60,7 @@
 
     # logfile setup
 
-    DATE=$(date "+%d-%b-%Y")
+    DATE=$(date "+%Y-%m-%d")
     SHORT=${SETTINGS##*/}
     TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME.log
 
@@ -79,7 +79,7 @@
     else
         echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
 	FAIL="$FAIL$SHORT "
-	LOGS="${LOGS}$HOSTNAME:$TESTLOG "
+	LOGS="${LOGS}$TESTLOG "
     fi
 
 done
@@ -90,7 +90,14 @@
 	echo "$(date) $HOSTNAME $PRG: targets ${FAIL}FAILED, elapsed time $ELAPSED." >> $MASTERLOG
 	
 	echo "Test for platform(s) ${FAIL}failed. Log file(s) available at" > $TMP
-	for L in $LOGS; do echo "$L" >> $TMP; done
+	for L in $LOGS; do 
+		echo "$HOSTNAME:$L" >> $TMP 
+		echo "[...]" >> $TMP
+		tail -3 $L >> $TMP
+		echo >> $TMP
+	done
+	echo "Have a nice day," >> $TMP
+	echo "  isatest" >> $TMP
 
         for R in $MAILTO; do
 	    $MAIL "isabelle test failed" $R $TMP