In ksh, time is a builtin and it always returns the time of the entire
pipe (what you were asking for), not the time of the first command in
the pipe.
Eduardo Krell AT&T Bell Laboratories, Murray Hill, NJ
UUCP: {att,decvax,ucbvax}!ulysses!ekrell Internet: ekrell at ulysses.att.com