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