From c35bd4861d498153ceb6839049b42c8bd5dd5c16 Mon Sep 17 00:00:00 2001 From: Derick Rethans Date: Tue, 10 May 2016 15:40:03 -0400 Subject: [PATCH] Allow for special case for the opcache zend extension --- run-tests.php | 8 ++++++-- 1 file 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(); -- 2.40.0