# HG changeset patch # User wenzelm # Date 1262694893 -3600 # Node ID 8e36b3ac6083ad8d891f4cfd3d92a6ac7ded6f44 # Parent 2524c1bbd087f47c9543760806b8db092a92c98f slightly shorter tail (again) -- theory loader produces less warning spam (cf. 2524c1bbd087); diff -r 2524c1bbd087 -r 8e36b3ac6083 lib/Tools/usedir --- a/lib/Tools/usedir Tue Jan 05 00:04:29 2010 +0100 +++ b/lib/Tools/usedir Tue Jan 05 13:34:53 2010 +0100 @@ -261,7 +261,7 @@ else { echo "$ITEM FAILED"; echo "(see also $LOG)"; - echo; tail -40 "$LOG"; echo; } >&2 + echo; tail -20 "$LOG"; echo; } >&2 fi exit "$RC"