mirror of
https://github.com/php/php-src.git
synced 2024-11-23 18:04:36 +08:00
Fix php.ini-related stuff in run-tests.php
This commit is contained in:
parent
751cd67cc0
commit
3f156fe6f9
@ -88,17 +88,17 @@ PHP : $php
|
||||
PHP_SAPI : " . PHP_SAPI . "
|
||||
PHP_VERSION : " . PHP_VERSION . "
|
||||
PHP_OS : " . PHP_OS . "
|
||||
INI actual : " . get_cfg_var('cfg_file_path') . "
|
||||
INI actual : " . realpath(get_cfg_var('cfg_file_path')) . "
|
||||
INI wanted : " . realpath('php.ini-dist') . "
|
||||
=====================================================================
|
||||
";
|
||||
|
||||
// Make sure we are using the proper php.ini.
|
||||
|
||||
// FIXME: this doesn't work on linux
|
||||
/*$php_ini = realpath("php.ini-dist");
|
||||
realpath(get_cfg_var('cfg_file_path')) == $php_ini
|
||||
or error("php.ini-dist was not used!");*/
|
||||
$php_ini = realpath("php.ini-dist");
|
||||
if(realpath(get_cfg_var('cfg_file_path')) != $php_ini) {
|
||||
error("php.ini-dist was not used!");
|
||||
}
|
||||
|
||||
// Determine the tests to be run.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user