# HG changeset patch
# User wenzelm
# Date 1351364390 -7200
# Node ID c163145dd40f7abc69834f2ce0d5e22b856716ba
# Parent  3259ea7a52af40b5a351dc92ee3d19c93e6811d5
longer log, to accomodate final status line of isabelle build;

diff -r 3259ea7a52af -r c163145dd40f Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Wed Oct 24 18:43:25 2012 +0200
+++ b/Admin/isatest/isatest-makeall	Sat Oct 27 20:59:50 2012 +0200
@@ -127,7 +127,7 @@
         # error log
         echo "Test for platform ${SHORT} failed. Log file attached." >> $ERRORLOG
         echo "[...]" >> $ERRORLOG
-        tail -3 $TESTLOG >> $ERRORLOG
+        tail -4 $TESTLOG >> $ERRORLOG
         echo >> $ERRORLOG
 
         FAIL="$FAIL$SHORT "