coverage.py: also output failed to stderr

This commit is contained in:
Johannes Schauer Marin Rodrigues 2022-07-28 16:58:29 +02:00
parent 3fcb125e3c
commit 117a1591c5
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -223,7 +223,7 @@ def main():
)
print("time left: %s" % timeleft, file=sys.stderr)
if failed:
print("failed: %d" % len(failed))
print("failed: %d" % len(failed), file=sys.stderr)
num_finished += 1
with open("tests/" + name) as fin, open("shared/test.sh", "w") as fout:
for line in fin: