| Index: tools/run-tests.py
|
| diff --git a/tools/run-tests.py b/tools/run-tests.py
|
| index 7e3587989bb70e56454257c3487487fa6739ab22..e8c1b4d884b9e43d24a48dd018ccf262182335ba 100755
|
| --- a/tools/run-tests.py
|
| +++ b/tools/run-tests.py
|
| @@ -788,6 +788,11 @@ def Execute(arch, mode, args, options, suites):
|
| if num_tests == 0:
|
| print("Warning: no tests were run!")
|
|
|
| + if exit_code == 1 and options.json_test_results:
|
| + print("Force exit code 0 after failures. Json test results file generated "
|
| + "with failure information.")
|
| + exit_code = 0
|
| +
|
| return exit_code
|
|
|
|
|
|
|