don't die if the cache dir doesn't exist (#707)

OP2 · Aug 29, 2023 · 8e4ad93 · 8e4ad93
1 parent 92e756b
commit 8e4ad93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyop2/compilation.py b/pyop2/compilation.py
@@ -659,6 +659,6 @@ def clear_cache(prompt=False):
 
     if remove:
         print(f"Removing cached libraries from {cachedir}")
-        shutil.rmtree(cachedir)
+        shutil.rmtree(cachedir, ignore_errors=True)
     else:
         print("Not removing cached libraries")