SCons: Ensure written files are properly flushed/closed

Also add `core/method_bind_ext.inc` to `.gitignore`.

(cherry picked from commit ad2fb7d93b)
This commit is contained in:
Rémi Verschelde
2025-01-03 22:44:20 +01:00
parent 8ee6e3848e
commit c47810c33b
8 changed files with 19 additions and 10 deletions

View File

@ -23,6 +23,7 @@ def make_doc_header(target,source,env):
g.write(str(ord(buf[i]))+",\n")
g.write("};\n")
g.write("#endif")
g.close()