diff options
| -rw-r--r-- | .github/workflows/testsuite.yml | 1 | ||||
| -rw-r--r-- | igor.py | 14 |
2 files changed, 11 insertions, 4 deletions
diff --git a/.github/workflows/testsuite.yml b/.github/workflows/testsuite.yml index 6f31f48f..53cd24b8 100644 --- a/.github/workflows/testsuite.yml +++ b/.github/workflows/testsuite.yml @@ -17,6 +17,7 @@ defaults: env: PIP_DISABLE_PIP_VERSION_CHECK: 1 + COVERAGE_IGOR_VERBOSE: 1 jobs: tests: @@ -42,6 +42,8 @@ def ignore_warnings(): yield +VERBOSITY = int(os.environ.get("COVERAGE_IGOR_VERBOSE", "0")) + # Functions named do_* are executable from the command line: do_blah is run # by "python igor.py blah". @@ -66,10 +68,14 @@ def do_remove_extension(): for pattern in so_patterns: pattern = os.path.join("coverage", pattern) for filename in glob.glob(pattern): - try: - os.remove(filename) - except OSError: - pass + if os.path.exists(filename): + if VERBOSITY: + print(f"Removing {filename}") + try: + os.remove(filename) + except OSError as exc: + if VERBOSITY: + print(f"Couldn't remove {filename}: {exc}") def label_for_tracer(tracer): |