diff options
| author | Derick Rethans <derick@php.net> | 2002-10-08 07:49:36 +0000 |
|---|---|---|
| committer | Derick Rethans <derick@php.net> | 2002-10-08 07:49:36 +0000 |
| commit | d53dd88854c8a53e3862b6883dcc65754a46cc51 (patch) | |
| tree | f3a84d0f9dd69cb261d53418bcaa9f8c7da7ec0d /run-tests.php | |
| parent | 87e271833bcf16352cc89399c0a184d28004c162 (diff) | |
| download | php-git-d53dd88854c8a53e3862b6883dcc65754a46cc51.tar.gz | |
- Drop requirement for php.ini-dist
- Adjust test script to hard code ini settings
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/run-tests.php b/run-tests.php index 88f95b5031..b7c9f17df8 100755 --- a/run-tests.php +++ b/run-tests.php @@ -97,19 +97,10 @@ PHP_SAPI : " . PHP_SAPI . " PHP_VERSION : " . PHP_VERSION . " PHP_OS : " . PHP_OS . " INI actual : " . realpath(get_cfg_var('cfg_file_path')) . " -INI wanted : " . realpath('php.ini-dist') . " More .INIs : " . str_replace("\n","", php_ini_scanned_files()) . " ===================================================================== "; -// Make sure we are using the proper php.ini. - -$php_ini = realpath("php.ini-dist"); -if (realpath(get_cfg_var('cfg_file_path')) != $php_ini) { - error("php.ini-dist was not used!"); -} -$php .= " -c $php_ini"; - // Determine the tests to be run. $test_to_run = array(); |
