tail -n 20: more helpful output if make fails

--- 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"