Make sure the timing output is also sent to the log file for dejagnu, not the log file of the NightlyTest.pl script.
Make sure the timing output is also sent to the log file for dejagnu, not
the log file of the NightlyTest.pl script.


git-svn-id: a4a6f32337ebd29ad4763b423022f00f68d1c7b7@18158 91177308-0d34-0410-b5e6-96231b3b80d8

lodyagin/bare_cxx,lodyagin/bare_cxx,lodyagin/bare_cxx,lodyagin/bare_cxx,lodyagin/bare_cxx