| 1 |
On Tue, 20 Sep 2005 01:53:58 -0300 |
| 2 |
Norberto Bensa <nbensa@×××.net> wrote: |
| 3 |
|
| 4 |
> |
| 5 |
> Justin Hart wrote: |
| 6 |
> > The version of time included doesn't seem to include the -o switch, |
| 7 |
> > allowing the output to be put in a file. |
| 8 |
> > |
| 9 |
> > Is there a way to get this? |
| 10 |
> |
| 11 |
> You want sys-process/time |
| 12 |
|
| 13 |
Also time is a builtin in bash. So if that's your shell you need to |
| 14 |
make bash uses the binary instead. That can be done by one of these two |
| 15 |
|
| 16 |
command time |
| 17 |
/usr/bin/time |
| 18 |
|
| 19 |
-- |
| 20 |
Ian. |
| 21 |
|
| 22 |
EOM |
| 23 |
-- |
| 24 |
gentoo-user@g.o mailing list |
Archives