SCons: Ensure written files are properly flushed/closed

Also add `core/method_bind_ext.inc` to `.gitignore`.
2025-01-03 22:44:20 +01:00
parent eb111c1d39
commit ad2fb7d93b
9 changed files with 20 additions and 10 deletions
--- a/tools/docdump/doc_merge.py
+++ b/tools/docdump/doc_merge.py
@ -205,4 +205,4 @@ for c in list(new_doc):
 	write_class(c)
 write_string(f,'</doc>\n')

-
+f.close()