# HG changeset patch
# User wenzelm
# Date 1258808575 -3600
# Node ID 1b634d37aa64a76393b1f350895b442de2aadaac
# Parent  7277fa74120a87e3566df2b6b872561fced34590
slightly longer log tail;

diff -r 7277fa74120a -r 1b634d37aa64 lib/Tools/usedir
--- a/lib/Tools/usedir	Sat Nov 21 17:04:03 2009 +1100
+++ b/lib/Tools/usedir	Sat Nov 21 14:02:55 2009 +0100
@@ -262,7 +262,7 @@
 else
   { echo "$ITEM FAILED";
     echo "(see also $LOG)";
-    echo; tail -20 "$LOG"; echo; } >&2
+    echo; tail -40 "$LOG"; echo; } >&2
 fi
 
 exit "$RC"