slightly longer log tail;
authorwenzelm
Sat, 21 Nov 2009 14:02:55 +0100
changeset 338301b634d37aa64
parent 33829 7277fa74120a
child 33831 38507aef93cd
slightly longer log tail;
lib/Tools/usedir
     1.1 --- a/lib/Tools/usedir	Sat Nov 21 17:04:03 2009 +1100
     1.2 +++ b/lib/Tools/usedir	Sat Nov 21 14:02:55 2009 +0100
     1.3 @@ -262,7 +262,7 @@
     1.4  else
     1.5    { echo "$ITEM FAILED";
     1.6      echo "(see also $LOG)";
     1.7 -    echo; tail -20 "$LOG"; echo; } >&2
     1.8 +    echo; tail -40 "$LOG"; echo; } >&2
     1.9  fi
    1.10  
    1.11  exit "$RC"