2011/11/28 Ferenc Kovacs <tyr...@gmail.com>: >> run-tests.php -d extension=/path/to/extname.so >> > > yeah, but we advertise make test as the official/endorsed way to run the > test suite, so that should work.
any reliable tests cannot be done using make test as long as there some random php.ini's in the system, or other install. We have been there already and the whole idea of testing random configuration to provide reliable results has failed, too many false positive. I've been using run-tests.php only for a while now and I feel much more comfortable with the results. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
