diff --git a/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py b/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py
index 5391262833..c0f8a48c88 100755
--- a/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py
+++ b/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py
@@ -276,9 +276,8 @@ def main():
     proof_root = pathlib.Path(__file__).resolve().parent
     litani = get_litani_path(proof_root)
 
+    run_cmd(["./prepare.py"], check=True, cwd=str(proof_root))
     if not args.no_standalone:
-        run_cmd(
-            ["./prepare.py"], check=True, cwd=str(proof_root))
         run_cmd(
             [str(litani), "init", "--project", args.project_name], check=True)