From 117a1591c5dba8c797ac4156e22c5c4676154ab8 Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Thu, 28 Jul 2022 16:58:29 +0200 Subject: [PATCH] coverage.py: also output failed to stderr --- coverage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverage.py b/coverage.py index 17f99ae..fe9641d 100755 --- a/coverage.py +++ b/coverage.py @@ -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: