1 Commits

Author SHA1 Message Date
Rainer Gerhards
d82f54a28c CI: add way to gather all check logs if CI times out "make check"
This can happen under buildbot, and with it we can use the new script
in a follow-on buildbot step. Doesn't work with travis as it
terminates the complete CI run on timeout (no single-step timeout).
2017-04-12 10:37:20 +02:00