diff options
author | Marcus Boerger <helly@php.net> | 2007-03-27 20:28:06 +0000 |
---|---|---|
committer | Marcus Boerger <helly@php.net> | 2007-03-27 20:28:06 +0000 |
commit | acf92f283a69da28a1a41761fb4d3e2c0b18250d (patch) | |
tree | 08341918d68f724d110d19019bc20ce99bafcbce | |
parent | 2c06cea75ba893531f9e2d059955da3d14b5a8c5 (diff) | |
download | php-git-acf92f283a69da28a1a41761fb4d3e2c0b18250d.tar.gz |
- MFH Allow to load multipe extensions via -d
-rwxr-xr-x | run-tests.php | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/run-tests.php b/run-tests.php index b9296b22cb..c894fa95bd 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1690,7 +1690,14 @@ function settings2array($settings, &$ini_settings) $setting = explode("=", $setting, 2); $name = trim(strtolower($setting[0])); $value = trim($setting[1]); - $ini_settings[$name] = $value; + if ($name == 'extension') { + if (!isset($ini_settings[$name])) { + $ini_settings[$name] = array(); + } + $ini_settings[$name][] = $value; + } else { + $ini_settings[$name] = $value; + } } } } @@ -1699,8 +1706,15 @@ function settings2params(&$ini_settings) { $settings = ''; foreach($ini_settings as $name => $value) { - $value = addslashes($value); - $settings .= " -d \"$name=$value\""; + if (is_array($value)) { + foreach($value as $val) { + $val = addslashes($val); + $settings .= " -d \"$name=$val\""; + } + } else { + $value = addslashes($value); + $settings .= " -d \"$name=$value\""; + } } $ini_settings = $settings; } |