Careful when using time.  The bash built-in called time times 1 shell 
statement (including pipes).  The binary in /usr/bin/time only times the 
command given - it does not span pipes.

> On Tue, Jul 29, 2008 at 02:15:54AM -0500, Robert Citek wrote:
>> Are you sure time ignores everything after the pipe?
> Seems to depend on shell version - when I tested it here it definitely
> ignored everything after. Yours seems to do the right thing, which makes
> your sqlite issue an interesting find indeed.
> Cheers, Peter
> _______________________________________________
> sqlite-users mailing list

sqlite-users mailing list

Reply via email to