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

[Pedro Franco de Carvalho]

Sergio Durigan Junior <sergiodj@redhat.com> writes:

> I've now cancelled the builds; let's see how things go.

Thanks!  The LE builder seem to be going faster now (a bit more than one
hour).

They still fail sometimes with a timeout for make.  From the logs of the
ones that didn't fail it seems that gdb.threads/trace-condition.exp and
gdb.threads/tspeed.exp are the ones taking long, and could be causing
this, but I haven't looked into them yet.

--
Pedro Franco de Carvalho