debug: why can't we clean up the C extension on windows?

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:
diff --git a/igor.py b/igor.py
index 05788148..5aeb10fe 100644
--- a/igor.py
+++ b/igor.py
@@ -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):