diff options
author | 2016-07-06 13:42:13 -0700 | |
---|---|---|
committer | 2016-07-06 13:42:13 -0700 | |
commit | 8db469baf6edcee935c58f42613609f7265020a4 (patch) | |
tree | a7102d8ca4d78eb3282d9f034f5e14fca2e0827c /tools | |
parent | d552dbdf4d47c48aa52b25f963e1ea3c7d87351d (diff) |
Remove the sea of green to allow focusing on failures
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/run_tests/run_tests.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index c1254275e6..f61821557c 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -1228,8 +1228,6 @@ def _build_and_run( jobset.message( 'FLAKE', '%s [%d/%d runs flaked]' % (k, num_failures, num_runs), do_newline=True) - else: - jobset.message('PASSED', k, do_newline=True) finally: for antagonist in antagonists: antagonist.kill() |