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

Sergio Durigan Junior
2018-11-26T18:48:42Z

On Sunday, November 25 2018, I wrote:

> Anyway, I've pushed the commit now:
>
> f63c03b470036353c8c6c657e15f5ebd62ab67dd
>
> Thanks again for the review.

FWIW, I've just enabled the timestamp'ed output on the BuildBot. You
can see an example here:

https://gdb-build.sergiodj.net/builders/Fedora-x86_64-native-extended-gdbserver-m32/builds/11223/steps/test%20gdb/logs/stdio

Thanks,

--
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible