summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcus Boerger <helly@php.net>2007-03-27 20:28:06 +0000
committerMarcus Boerger <helly@php.net>2007-03-27 20:28:06 +0000
commitacf92f283a69da28a1a41761fb4d3e2c0b18250d (patch)
tree08341918d68f724d110d19019bc20ce99bafcbce
parent2c06cea75ba893531f9e2d059955da3d14b5a8c5 (diff)
downloadphp-git-acf92f283a69da28a1a41761fb4d3e2c0b18250d.tar.gz
- MFH Allow to load multipe extensions via -d
-rwxr-xr-xrun-tests.php20
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;
}