Use IS_WINDOWS

diff --git a/run-tests.php b/run-tests.php
index 1a1d2e9c538364370559849317716c91a176c0c9..21677fa2da2d766935c192582fb1fa0d359a8799 100755 (executable)
--- 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);
        }