Close file before deletion

0cc4m · Oct 14, 2023 · bd05447 · bd05447
1 parent 7efac61
commit bd05447
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ggml_vk_generate_shaders.py b/ggml_vk_generate_shaders.py
@@ -845,9 +845,11 @@ async def string_to_spv_file(name, code, defines, fp16):
         cmd.extend([f"-D{key}={value}" for key, value in defines.items()])
         code_with_lines = "\n".join([f"{i}: {line}" for i, line in enumerate(preprocessed_code.splitlines())])
         print(f"ERROR compiling {name}\n\n{code_with_lines}\n\n{error=}")
+        f.close()
         os.remove(f.name)
         sys.exit(proc.returncode)
 
+    f.close()
     os.remove(f.name)