Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use REPORT_EXIT_STATUS=0 or REPORT_EXIT_STATUS=no to prevent it. Based on discussion in https://www.mail-archive.com/internals@lists.php.net/msg94141.html
- Loading branch information
f19c94b
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
php-src/run-tests.php
Line 982 in f19c94b