diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/run_tests/jobset.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/run_tests/jobset.py b/tools/run_tests/jobset.py index b8b4cf0001..286b81dc3e 100755 --- a/tools/run_tests/jobset.py +++ b/tools/run_tests/jobset.py @@ -212,7 +212,9 @@ class Job(object): if self._bin_hash: update_cache.finished(self._spec.identity(), self._bin_hash) elif self._state == _RUNNING and time.time() - self._start > 300: - message('TIMEOUT', self._spec.shortname, do_newline=True) + self._tempfile.seek(0) + stdout = self._tempfile.read() + message('TIMEOUT', self._spec.shortname, stdout, do_newline=True) self.kill() return self._state |