[vta,vta4.3,trunk?] introduce -time=file flag

[Alexandre Oliva]

-time currently dumps to stderr, which makes it less than useful when
logging a -j build, especially when you want to measure say the vta
compilation overhead without giving up -j.

This patch introduces -time=file, so that the compiler driver appends
the compile time and the command line to file.

Is this useful for trunk at this point?

Patch for vta branch, followed by a reduced diff between that and the
patch for 4.3.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcc-time-to-file.patch
Type: text/x-patch
Size: 5414 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20080911/fe218f9f/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcc-time-to-file-4.3.diff
Type: text/x-patch
Size: 555 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20080911/fe218f9f/attachment-0001.bin>
-------------- next part --------------


-- 
Alexandre Oliva         http://www.lsd.ic.unicamp.br/~oliva/
Free Software Evangelist  oliva@{lsd.ic.unicamp.br, gnu.org}
FSFLA Board Member       ?S? Libre! => http://www.fsfla.org/
Red Hat Compiler Engineer   aoliva@{redhat.com, gcc.gnu.org}