From cbdd21a22d67b6d6ec44ca57a8493da611f6f68e Mon Sep 17 00:00:00 2001
From: Nikita Popov <nikita.ppv@gmail.com>
Date: Wed, 17 Feb 2021 12:39:27 +0100
Subject: Color LEAK&FAIL like a failure

---
 run-tests.php | 1 +
 1 file changed, 1 insertion(+)

(limited to 'run-tests.php')

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
-- 
cgit v1.2.1