diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-17 12:39:27 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-17 16:40:19 +0100 |
commit | cbdd21a22d67b6d6ec44ca57a8493da611f6f68e (patch) | |
tree | c173bb92332711807b6d6790013acbfe97de45de /run-tests.php | |
parent | 8c6db654e7109a7219f209cf38c55d16f6db5e18 (diff) | |
download | php-git-cbdd21a22d67b6d6ec44ca57a8493da611f6f68e.tar.gz |
Color LEAK&FAIL like a failure
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index a34434b753..21f9726f1e 100755 --- a/run-tests.php +++ b/run-tests.php @@ -3359,6 +3359,7 @@ function show_result( case 'FAIL': case 'BORK': case 'LEAK': + case 'LEAK&FAIL': // Light Red $color = "\e[1;31m{$result}\e[0m"; break; default: // Yellow |