diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/run-tests.php b/run-tests.php index e88e888826..e61bcedb4b 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1082,16 +1082,12 @@ function settings2array($settings, &$ini_settings) function settings2params(&$ini_settings) { - if (count($ini_settings)) { - $settings = ''; - foreach($ini_settings as $name => $value) { - $value = addslashes($value); - $settings .= " -d \"$name=$value\""; - } - $ini_settings = $settings; - } else { - $ini_settings = ''; + $settings = ''; + foreach($ini_settings as $name => $value) { + $value = addslashes($value); + $settings .= " -d \"$name=$value\""; } + $ini_settings = $settings; } function compute_summary() |