Re: [PATCH] Implement timestamp'ed output on "make check"

Pedro Alves
2018-12-06T15:30:01Z

On 12/05/2018 08:26 PM, Sergio Durigan Junior wrote:

> Unfortunately they haven't reached the commit which introduces the
> timestamp feature, so we still don't know exactly where they're hanging.

Actually we could know even without the timestamp feature -- all the
testsuite/*/gdb.log files have something like:

Test run by pedro on Tue Dec 4 18:15:17 2018

at the top, and ...

runtest completed at Tue Dec 4 18:15:18 2018

... at the bottom.

So a simple script could extract that info and present it
in a convenient way.

Thanks,
Pedro Alves