diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-17 16:40:33 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-17 16:40:33 +0100 |
commit | 4ea90c15de01dc5263315631f0c86df92330db46 (patch) | |
tree | 27436b36a566041dbab4f2acc54d0047b49b72db /run-tests.php | |
parent | 922fb12121b0369ea6f7c40c2223e05795d921ec (diff) | |
parent | cbdd21a22d67b6d6ec44ca57a8493da611f6f68e (diff) | |
download | php-git-4ea90c15de01dc5263315631f0c86df92330db46.tar.gz |
Merge branch 'PHP-8.0'
* PHP-8.0:
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 3ae06c5157..27a5e82d85 100755 --- a/run-tests.php +++ b/run-tests.php @@ -3415,6 +3415,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 |