diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2020-01-05 19:28:34 +0100 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-01-09 12:04:28 +0100 |
| commit | 718fc4cefde46ace89c2f5a68b6ba5ecab8c26cb (patch) | |
| tree | 62ff3687d189c02159e8eca9f999d4770178f3bf /run-tests.php | |
| parent | 10c420f84a5fcbd134c3ab78be398dd22a31b67c (diff) | |
| download | php-git-718fc4cefde46ace89c2f5a68b6ba5ecab8c26cb.tar.gz | |
Use IS_WINDOWS
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/run-tests.php b/run-tests.php index 1a1d2e9c53..21677fa2da 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2109,11 +2109,7 @@ TEST $file if (array_key_exists('INI', $section_text)) { $section_text['INI'] = str_replace('{PWD}', dirname($file), $section_text['INI']); $section_text['INI'] = str_replace('{TMP}', sys_get_temp_dir(), $section_text['INI']); - if (PHP_OS_FAMILY === 'Windows') { - $replacement = '"' . PHP_BINARY . ' -r \"while ($in = fgets(STDIN)) echo $in;\" > $1"'; - } else { - $replacement = 'tee $1 >/dev/null'; - } + $replacement = IS_WINDOWS ? '"' . PHP_BINARY . ' -r \"while ($in = fgets(STDIN)) echo $in;\" > $1"' : 'tee $1 >/dev/null'; $section_text['INI'] = preg_replace('/{MAIL:(\S+)}/', $replacement, $section_text['INI']); settings2array(preg_split("/[\n\r]+/", $section_text['INI']), $ini_settings); } |