Print stderr in diff.py when make fails

This commit is contained in:
Tal Hayon 2023-02-01 16:15:31 +02:00
parent 4172847eff
commit d5d32236a0
1 changed files with 1 additions and 1 deletions

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