diff options
Diffstat (limited to 'php-tests.patch')
-rw-r--r-- | php-tests.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/php-tests.patch b/php-tests.patch new file mode 100644 index 000000000000..6f01e6d0f4db --- /dev/null +++ b/php-tests.patch @@ -0,0 +1,11 @@ +--- a/run-tests.php ++++ b/run-tests.php +@@ -813,7 +813,7 @@ + + junit_save_xml(); + +- if (getenv('REPORT_EXIT_STATUS') == 1 and preg_match('/FAILED(?: |$)/', implode(' ', $test_results))) { ++ if (getenv('REPORT_EXIT_STATUS') == 1 and $sum_results['FAILED']) { + exit(1); + } + |