diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2016-08-23 11:51:08 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2016-08-23 11:51:08 +0300 |
| commit | 0cc8ff2b41d2d22bce59d394e2ab268c4c9c0086 (patch) | |
| tree | f31ea7380f41797fad84e748300d7a620f0dbaf9 /run-tests.php | |
| parent | 906456c4106ac74da0688b2481e91e27de3b176b (diff) | |
| download | php-git-0cc8ff2b41d2d22bce59d394e2ab268c4c9c0086.tar.gz | |
Run ext/opcache/tests/*.phpt by default
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 0dcf21bcbf..80757edd90 100755 --- a/run-tests.php +++ b/run-tests.php @@ -269,7 +269,7 @@ More .INIs : " , (function_exists(\'php_ini_scanned_files\') ? str_replace("\n" @unlink($info_file); // load list of enabled extensions - save_text($info_file, '<?php echo join(",", get_loaded_extensions()); ?>'); + save_text($info_file, '<?php echo str_replace("Zend OPcache", "opcache", join(",", get_loaded_extensions())); ?>'); $exts_to_test = explode(',',`$php $pass_options $info_params $no_file_cache "$info_file"`); // check for extensions that need special handling and regenerate $info_params_ex = array( |