tools/helper.py: run() only detects error if return code is non-zero

pull/258/head
i-am-very-smart 9 months ago committed by GitHub
parent d5289cfd89
commit e78500e44e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -40,7 +40,7 @@ def run(args: list, env: Optional[str] = None, ignore: Optional[str] = None):
)
# print(result.stdout.decode())
if result.stderr:
if result.returncode != 0 and result.stderr:
error = result.stderr.decode("utf-8")
if ignore and re.match(ignore, error):
return result

Loading…
Cancel
Save