diff options
| author | Simon Warta <[email protected]> | 2017-04-07 09:08:10 +0200 |
|---|---|---|
| committer | Simon Warta <[email protected]> | 2017-04-07 09:10:16 +0200 |
| commit | a8a0fce61f3ef4d4596998df1bc509bfc5f27f8e (patch) | |
| tree | 939c6477ec19ade06e8a2c0ff2996cbbe5af6cb0 | |
| parent | 0909210958866d943a0d875f89663f506e973837 (diff) | |
Close amalgamation files
| -rwxr-xr-x | configure.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.py b/configure.py index a52c0c09c..a4e3975ff 100755 --- a/configure.py +++ b/configure.py @@ -2408,6 +2408,9 @@ class AmalgamationGenerator(object): else: amalgamation_files[tgt].write(line) + for f in amalgamation_files.values(): + f.close() + return set(amalgamation_sources.values()) def have_program(program): |