lib/Tools/usedir
changeset 32641 68c53dbceffd
parent 32061 11f8ee55662d
child 32931 540e674ff184
--- a/lib/Tools/usedir	Tue Sep 22 08:58:08 2009 +0200
+++ b/lib/Tools/usedir	Tue Sep 22 15:12:45 2009 +0200
@@ -262,7 +262,7 @@
 else
   { echo "$ITEM FAILED";
     echo "(see also $LOG)";
-    echo; tail "$LOG"; echo; } >&2
+    echo; tail -n 20 "$LOG"; echo; } >&2
 fi
 
 exit "$RC"