diff options
| author |  murgatroid99 <michael.lumish@gmail.com> | 2015-01-22 11:02:49 -0800 |
|---|---|---|
| committer | murgatroid99 <michael.lumish@gmail.com> | 2015-01-22 11:02:49 -0800 |
| commit | b2c86aa8c4a0833fb434e679d2a7dbc93e6fc670 (patch) | |
| tree | 9d778498543dfc319c5b9ecfd852473c43eedad1 /tools | |
| parent | bb289c2902aeb4d84248934bcb31a188420cd198 (diff) | |
| parent | 43598ccc39adfdc1c8019f28222b6d06b2ca632a (diff) | |
Merge branch 'master' into merge_new_invoke_api
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/run_tests/jobset.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/run_tests/jobset.py b/tools/run_tests/jobset.py index 7a6d979ba3..8f16a4ff2c 100755 --- a/tools/run_tests/jobset.py +++ b/tools/run_tests/jobset.py @@ -160,8 +160,8 @@ class Jobset(object): self._completed += 1 self._running.remove(job) if dead: return - message('WAITING', '%d jobs running, %d complete' % ( - len(self._running), self._completed)) + message('WAITING', '%d jobs running, %d complete, %d failed' % ( + len(self._running), self._completed, self._failures)) time.sleep(0.1) def cancelled(self): |