diff options
| -rwxr-xr-x | tools/run_tests/run_tests.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index a2f3424731..669d2e91f4 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -1085,7 +1085,9 @@ else: exit_code = 0 if BuildAndRunError.BUILD in errors: exit_code |= 1 - if BuildAndRunError.POST_TEST in errors: + if BuildAndRunError.TEST in errors and not args.travis: exit_code |= 2 - # BuildAndRunError.TEST does not cause run_tests.py to fail + if BuildAndRunError.POST_TEST in errors: + exit_code |= 4 sys.exit(exit_code) + |