Print stderr in diff.py when make fails

This commit is contained in:
Tal Hayon
2023-02-01 16:15:31 +02:00
parent 98640ee8ad
commit 1a6aa986c4
+1 -1
View File
@@ -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