# HG changeset patch
# User haftmann
# Date 1262702101 -3600
# Node ID 5b3958210c35d228fe7773db4e509cc8b4ed43ac
# Parent  8e36b3ac6083ad8d891f4cfd3d92a6ac7ded6f44# Parent  95df5e6dd41c82383039a41b63d56f6e339309e9
merged

diff -r 95df5e6dd41c -r 5b3958210c35 lib/Tools/usedir
--- a/lib/Tools/usedir	Tue Jan 05 14:19:12 2010 +0100
+++ b/lib/Tools/usedir	Tue Jan 05 15:35:01 2010 +0100
@@ -261,7 +261,7 @@
 else
   { echo "$ITEM FAILED";
     echo "(see also $LOG)";
-    echo; tail -40 "$LOG"; echo; } >&2
+    echo; tail -20 "$LOG"; echo; } >&2
 fi
 
 exit "$RC"