script: Remove tmp files

dtcxzyw · Jul 16, 2024 · 4bc20bb · 4bc20bb
1 parent abfb1fa
commit 4bc20bb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/gen_optimized.py b/scripts/gen_optimized.py
@@ -32,6 +32,8 @@ def run_opt(task):
             diff_ret = subprocess.run(['diff', '-q', tmp_output, output_file], stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL)
             if diff_ret.returncode != 0:
                 os.replace(tmp_output, output_file)
+            else:
+                os.remove(tmp_output)
         else:
             cmd = ['perf', 'stat', '-e', 'instructions:u'] + cmd + ['-disable-output']
             ret = subprocess.run(cmd,stdin=subprocess.DEVNULL, timeout=600.0, capture_output=True)