# HG changeset patch
# User wenzelm
# Date 1255531175 -7200
# Node ID 540e674ff18424c78511d34074e3a1afb9511463
# Parent  5b827eadb64cbeb5f1d733e733c6501b1455a2c4
accomodate old version of "tail", e.g. on sunbroy2;

diff -r 5b827eadb64c -r 540e674ff184 lib/Tools/usedir
--- a/lib/Tools/usedir	Wed Oct 14 16:08:51 2009 +0200
+++ b/lib/Tools/usedir	Wed Oct 14 16:39:35 2009 +0200
@@ -262,7 +262,7 @@
 else
   { echo "$ITEM FAILED";
     echo "(see also $LOG)";
-    echo; tail -n 20 "$LOG"; echo; } >&2
+    echo; tail -20 "$LOG"; echo; } >&2
 fi
 
 exit "$RC"