From d5d32236a0b9c1f666f87f4d38c5e027d2588831 Mon Sep 17 00:00:00 2001
From: Tal Hayon <talhayon1@gmail.com>
Date: Wed, 1 Feb 2023 16:15:31 +0200
Subject: [PATCH] Print stderr in diff.py when make fails

---
 diff.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/diff.py b/diff.py
index 676e1c24a40..4bc740d3324 100644
--- a/diff.py
+++ b/diff.py
@@ -3394,7 +3394,7 @@ def main() -> None:
                     if ret.returncode != 0:
                         display.update(
                             ret.stderr.decode("utf-8-sig", "replace")
-                            or ret.stdout.decode("utf-8-sig", "replace"),
+                            + ret.stdout.decode("utf-8-sig", "replace"),
                             error=True,
                         )
                         continue