From c42b3b58a5b218722ee9d5e3d7b826fd87bd720f Mon Sep 17 00:00:00 2001
From: Prabhu Ramachandran <prabhu@aero.iitb.ac.in>
Date: Thu, 26 Sep 2024 18:56:25 +0530
Subject: [PATCH] Don't delete the lock file.

---
 compyle/ext_module.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/compyle/ext_module.py b/compyle/ext_module.py
index e6d13f4..6a56665 100644
--- a/compyle/ext_module.py
+++ b/compyle/ext_module.py
@@ -164,8 +164,6 @@ def _lock(self, timeout=90):
             yield
         finally:
             self.lck.release()
-            if exists(self.lock_path):
-                os.remove(self.lock_path)
 
     def _write_source(self, path):
         if not exists(path):