diff options
author | Michaël Zasso <targos@protonmail.com> | 2022-01-20 14:00:44 +0300 |
---|---|---|
committer | Michaël Zasso <targos@protonmail.com> | 2022-02-02 19:25:04 +0300 |
commit | 8a3f28a05cd22dbdeb9233386344c47c936896e2 (patch) | |
tree | 7184d8c34e794ad505c1278fc8528ba5c8c30d7a /tools/install.py | |
parent | 86b77f7d0fb4ccefe000b67f9992d170aa048f82 (diff) |
tools: add v8-embedder-state-scope.h to distributed headers
PR-URL: https://github.com/nodejs/node/pull/41610
Reviewed-By: Jiawen Geng <technicalcute@gmail.com>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Diffstat (limited to 'tools/install.py')
-rwxr-xr-x | tools/install.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/install.py b/tools/install.py index e51d1298559..e2440a082f2 100755 --- a/tools/install.py +++ b/tools/install.py @@ -185,6 +185,7 @@ def headers(action): 'deps/v8/include/v8-date.h', 'deps/v8/include/v8-debug.h', 'deps/v8/include/v8-embedder-heap.h', + 'deps/v8/include/v8-embedder-state-scope.h', 'deps/v8/include/v8-exception.h', 'deps/v8/include/v8-extension.h', 'deps/v8/include/v8-external.h', |