Color LEAK&FAIL like a failure

This commit is contained in:
Nikita Popov 2021-02-17 12:39:27 +01:00
parent 8c6db654e7
commit cbdd21a22d

View file

@ -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