diff options
author | Derick Rethans <github@derickrethans.nl> | 2016-05-10 15:40:03 -0400 |
---|---|---|
committer | Derick Rethans <github@derickrethans.nl> | 2016-05-10 15:40:03 -0400 |
commit | c35bd4861d498153ceb6839049b42c8bd5dd5c16 (patch) | |
tree | f63ff98a99dfae830bcf372ae5252d1e3357df62 /run-tests.php | |
parent | 0718aa5833aad200c7655e9facf9ed4004b84bcc (diff) | |
download | php-git-c35bd4861d498153ceb6839049b42c8bd5dd5c16.tar.gz |
Allow for special case for the opcache zend extension
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/run-tests.php b/run-tests.php index 96733e58a9..66fcdd7fb3 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1547,7 +1547,11 @@ TEST $file $loaded = explode(",", `$php -n -r 'echo join(",", get_loaded_extensions());'`); foreach ($extensions as $req_ext) { if (!in_array($req_ext, $loaded)) { - $ini_settings['extension'][] = $ext_dir . DIRECTORY_SEPARATOR . $req_ext . '.' . PHP_SHLIB_SUFFIX; + if ($req_ext == 'opcache') { + $ini_settings['zend_extension'][] = $ext_dir . DIRECTORY_SEPARATOR . $req_ext . '.' . PHP_SHLIB_SUFFIX; + } else { + $ini_settings['extension'][] = $ext_dir . DIRECTORY_SEPARATOR . $req_ext . '.' . PHP_SHLIB_SUFFIX; + } } } } @@ -2374,7 +2378,7 @@ function settings2array($settings, &$ini_settings) $name = trim($setting[0]); $value = trim($setting[1]); - if ($name == 'extension') { + if ($name == 'extension' || $name == 'zend_extension') { if (!isset($ini_settings[$name])) { $ini_settings[$name] = array(); |