On Tue, 20 Sep 2005 01:53:58 -0300
Norberto Bensa <[EMAIL PROTECTED]> wrote:

> 
> Justin Hart wrote:
> > The version of time included doesn't seem to include the -o switch,
> > allowing the output to be put in a file.
> >
> > Is there a way to get this?
>
> You want sys-process/time

Also time is a builtin in bash.  So if that's your shell you need to
make bash uses the binary instead.  That can be done by one of these two

command time
/usr/bin/time

-- 
Ian.

EOM
-- 
gentoo-user@gentoo.org mailing list

Reply via email to