diff options
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index c89b6971eb..9d7397d615 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1774,11 +1774,17 @@ function run_worker(): void function show_file_block(string $file, string $block, ?string $section = null): void { global $cfg; + global $colorize; if ($cfg['show'][$file]) { if (is_null($section)) { $section = strtoupper($file); } + if ($section === 'DIFF' && $colorize) { + // '-' is Light Red for removal, '+' is Light Green for addition + $block = preg_replace('/^[0-9]+\-\s.*$/m', "\e[1;31m\\0\e[0m", $block); + $block = preg_replace('/^[0-9]+\+\s.*$/m', "\e[1;32m\\0\e[0m", $block); + } echo "\n========" . $section . "========\n"; echo rtrim($block); |