diff options
| author | Rich Trott <rtrott@gmail.com> | 2020-12-22 20:02:56 +0300 |
|---|---|---|
| committer | Danielle Adams <adamzdanielle@gmail.com> | 2021-01-12 15:09:21 +0300 |
| commit | 37b39a2d6b685f48774946ba0ddd76040b7cc008 (patch) | |
| tree | 9409481308bb1503274c4de50d90bb090d6a896d /tools | |
| parent | 7664f3678c27a94b5a714beacea132f1f1e0c44c (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() |