Fix removal of read-only files on Windows

happylynx · Nov 5, 2019 · 75171a9 · 75171a9
1 parent e049ee7
commit 75171a9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/mx.compiler/mx_compiler.py b/compiler/mx.compiler/mx_compiler.py
@@ -143,7 +143,7 @@ def __enter__(self):
 
     def __exit__(self, exc_type, exc_value, traceback):
         if exc_type is not None:
-            shutil.rmtree(self.workspace)
+            mx.rmtree(self.workspace)
             raise
 
         # Try delete the target directory if it existed prior to creating
@@ -166,7 +166,7 @@ def __exit__(self, exc_type, exc_value, traceback):
                 # Silently assume another process won the race to create self.target
                 pass
 
-        shutil.rmtree(self.workspace)
+        mx.rmtree(self.workspace)
 
 def _check_jvmci_version(jdk):
     """