diff options
author | Rich Trott <rtrott@gmail.com> | 2020-12-22 20:02:56 +0300 |
---|---|---|
committer | Michaƫl Zasso <targos@protonmail.com> | 2021-05-01 10:44:48 +0300 |
commit | 9990ec74237d889b2b1e9fb6876eb082478d1834 (patch) | |
tree | 6ae07ebeaad1c16000f3a64bc20dcc791e668d07 /tools | |
parent | 26d5965c7730875dfa59a39177957a0c98f3f327 (diff) |
tools: call close() explicitly in genv8constants.py
PR-URL: https://github.com/nodejs/node/pull/36606
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/genv8constants.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/genv8constants.py b/tools/genv8constants.py index cb648d39ce7..64370ad2961 100755 --- a/tools/genv8constants.py +++ b/tools/genv8constants.py @@ -113,3 +113,5 @@ outfile.write(""" #endif /* V8_CONSTANTS_H */ """) + +outfile.close() |