build: don't delete generated test program and its log file

Even if the test run is successful, it's good to be able to inspect
the files afterwards. They're in .gitignore, so shouldn't bother
anyone.

1 files changed, 0 insertions, 2 deletions

diff --git a/check b/check
index 5dc60ed..e366a7b 100755
--- a/check
+++ b/check
@@ -199,8 +199,6 @@ def check_subplots(r):
 
             r.codegen(md, "test.py", cwd=dirname)
             r.runcmd(["python3", "test.py", "--log", "test.log"], cwd=dirname)
-            os.remove(test_log)
-            os.remove(os.path.join(dirname, "test.py"))
         elif template == "bash":
             r.codegen(md, "test.sh", cwd=dirname)
             r.runcmd(["bash", "-x", "test.sh"], cwd=dirname)