Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
longer log, to accomodate final status line of isabelle build;
authorwenzelm
Sat, 27 Oct 2012 20:59:50 +0200
changeset 49978 c163145dd40f
parent 49977 3259ea7a52af
child 49979 4de92b4aa74a
longer log, to accomodate final status line of isabelle build;
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions 
--- 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 "
isabelle