hide extensions in tmp

Author: nedbat

igor.py

@@ -65,7 +65,7 @@ def remove_extension(core, *args):
         tracer.*.pyd
         """.split()
 
-    if 1:  #  "--from-install" in args:
+    if "--from-install" in args:
         # Get the install location using a subprocess to avoid
         # locking the file we are about to delete
         root = os.path.dirname(
@@ -88,19 +88,30 @@ def remove_extension(core, *args):
             ".tox/*/[Ll]ib/site-packages/coverage",
         ]
 
+    # On windows at least, we can't delete a loaded .pyd file. So move them
+    # out of the way into the tmp/ directory.
+    os.makedirs("tmp", exist_ok=True)
     for root, pattern in itertools.product(roots, so_patterns):
         pattern = os.path.join(root, pattern)
         if VERBOSITY > 1:
             print(f"Searching for {pattern} from {os.getcwd()}")
         for filename in glob.glob(pattern):
             if os.path.exists(filename):
+                hidden = f"tmp/{os.path.basename(filename)}"
                 if VERBOSITY > 1:
-                    print(f"Removing {os.path.abspath(filename)}")
+                    print(f"Moving {filename} to {hidden}")
                 try:
-                    os.remove(filename)
+                    if os.path.exists(hidden):
+                        os.remove(hidden)
                 except OSError as exc:
                     if VERBOSITY > 1:
-                        print(f"Couldn't remove {os.path.abspath(filename)}: {exc}")
+                        print(f"Couldn't remove {hidden}: {exc}")
+                else:
+                    try:
+                        os.rename(filename, hidden)
+                    except OSError as exc:
+                        if VERBOSITY > 1:
+                            print(f"Couldn't rename: {exc}")
 
 
 def label_for_core(core):