fix permission error on trying to overwrite read-only template files

pq-code-package · Jun 12, 2024 · 6ffaa0f · 6ffaa0f
1 parent 2895110
commit 6ffaa0f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cbmc/proofs/run-cbmc-proofs.py b/cbmc/proofs/run-cbmc-proofs.py
@@ -313,6 +313,11 @@ async def configure_proof_dirs( # pylint: disable=too-many-arguments
         profiling = [
             "ENABLE_MEMORY_PROFILING=true"] if enable_memory_profiling else []
 
+        # delete old pathreports
+        proc = await asyncio.create_subprocess_exec(
+            "make", "veryclean", cwd=path,
+            stdout=asyncio.subprocess.PIPE, stderr=asyncio.subprocess.PIPE)
+
         # Allow interactive tasks to preempt proof configuration
         proc = await asyncio.create_subprocess_exec(
             "nice", "-n", "15", "make", *pools,