💚 Repair CI (#112)

cda-tum · Aug 12, 2022 · 05e28ee · 05e28ee
1 parent 408fb3d
commit 05e28ee
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -80,7 +80,10 @@ def build_extension(self, ext):
         if not os.path.exists(self.build_temp):
             os.makedirs(self.build_temp)
         else:
-            os.remove(os.path.join(self.build_temp, "CMakeCache.txt"))
+            try:
+                os.remove(os.path.join(self.build_temp, "CMakeCache.txt"))
+            except OSError:
+                pass
         subprocess.check_call(["cmake", ext.sourcedir] + cmake_args, cwd=self.build_temp)
         subprocess.check_call(
             ["cmake", "--build", ".", "--target", ext.name] + build_args,