diff options
| author | Marcus Boerger <helly@php.net> | 2003-08-10 11:46:03 +0000 |
|---|---|---|
| committer | Marcus Boerger <helly@php.net> | 2003-08-10 11:46:03 +0000 |
| commit | 2a13d3f9f7a0801ee06a89125f631bfa8e0c4b90 (patch) | |
| tree | 2e2fdc3bc9509e2734429bdde34a69fdcd3328f9 /run-tests.php | |
| parent | 726eb467671477c4402b2356f3f41b88bd5dbb4e (diff) | |
| download | php-git-2a13d3f9f7a0801ee06a89125f631bfa8e0c4b90.tar.gz | |
Simplify
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() |