# HG changeset patch
# User krauss
# Date 1253625165 -7200
# Node ID 68c53dbceffd23640a332da98905690b4bd6c517
# Parent  ba6531df2c6418bb89c194940017d59293c1432d
tail -n 20: more helpful output if make fails

diff -r ba6531df2c64 -r 68c53dbceffd lib/Tools/usedir
--- 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"