Redirect output with time?

25/07/2007, 14h25

Greetings:

I need to time a number of makes using "time" (or "gtime"), but would
like to redirect the output of "time" to a file. The make output can
still go to the screen.
Does anyone know how to do this? I've tried:

gtime -v make -f MakeTest20 1> 20.log

and different variants.

Thanks for any in advance!

Tom

25/07/2007, 15h51

On Wed, 25 Jul 2007 06:25:10 -0700, T wrote:

> Greetings:
>
> I need to time a number of makes using "time" (or "gtime"), but would
> like to redirect the output of "time" to a file. The make output can
> still go to the screen.
> Does anyone know how to do this? I've tried:
>
> gtime -v make -f MakeTest20 1> 20.log
>
> and different variants.
>
> Thanks for any in advance!
>
> Tom

"time" is a builtin command to bash, which makes it slightly different to
usual.

( time make -f MakeTest20 ) 2> 20.log

works for me.

25/07/2007, 14h25	#1
T Messages: n/a Hébergeur:	Redirect output with time? Greetings: I need to time a number of makes using "time" (or "gtime"), but would like to redirect the output of "time" to a file. The make output can still go to the screen. Does anyone know how to do this? I've tried: gtime -v make -f MakeTest20 1> 20.log and different variants. Thanks for any in advance! Tom

25/07/2007, 15h51	#2
Icarus Sparry Messages: n/a Hébergeur:	Re: Redirect output with time? On Wed, 25 Jul 2007 06:25:10 -0700, T wrote: > Greetings: > > I need to time a number of makes using "time" (or "gtime"), but would > like to redirect the output of "time" to a file. The make output can > still go to the screen. > Does anyone know how to do this? I've tried: > > gtime -v make -f MakeTest20 1> 20.log > > and different variants. > > Thanks for any in advance! > > Tom "time" is a builtin command to bash, which makes it slightly different to usual. ( time make -f MakeTest20 ) 2> 20.log works for me.

Outils de la discussion
Afficher une version imprimable Envoyer un lien vers cette page par email