tail -n 20: more helpful output if make fails
authorkrauss
Tue Sep 22 15:12:45 2009 +0200 (2009-09-22)
changeset 3264168c53dbceffd
parent 32640 ba6531df2c64
child 32643 72979e93f919
tail -n 20: more helpful output if make fails
lib/Tools/usedir
     1.1 --- a/lib/Tools/usedir	Tue Sep 22 08:58:08 2009 +0200
     1.2 +++ b/lib/Tools/usedir	Tue Sep 22 15:12:45 2009 +0200
     1.3 @@ -262,7 +262,7 @@
     1.4  else
     1.5    { echo "$ITEM FAILED";
     1.6      echo "(see also $LOG)";
     1.7 -    echo; tail "$LOG"; echo; } >&2
     1.8 +    echo; tail -n 20 "$LOG"; echo; } >&2
     1.9  fi
    1.10  
    1.11  exit "$RC"