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