From 8568de3da66ae9fbd90774bf7a800113ae3bdd3d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C3=ABl=20Zasso?= Date: Fri, 31 Mar 2023 17:12:53 +0200 Subject: [PATCH] tools: add new V8 headers to distribution PR-URL: https://github.com/nodejs/node/pull/49639 Reviewed-By: Jiawen Geng Reviewed-By: Rafael Gonzaga Reviewed-By: Antoine du Hamel --- tools/install.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/install.py b/tools/install.py index 11616e1bcac530..c2cd85e7dde4e7 100755 --- a/tools/install.py +++ b/tools/install.py @@ -263,6 +263,7 @@ def wanted_v8_headers(files_arg, dest): 'deps/v8/include/v8-forward.h', 'deps/v8/include/v8-function-callback.h', 'deps/v8/include/v8-function.h', + 'deps/v8/include/v8-handle-base.h', 'deps/v8/include/v8-initialization.h', 'deps/v8/include/v8-internal.h', 'deps/v8/include/v8-isolate.h', @@ -285,6 +286,7 @@ def wanted_v8_headers(files_arg, dest): 'deps/v8/include/v8-regexp.h', 'deps/v8/include/v8-script.h', 'deps/v8/include/v8-snapshot.h', + 'deps/v8/include/v8-source-location.h', 'deps/v8/include/v8-statistics.h', 'deps/v8/include/v8-template.h', 'deps/v8/include/v8-traced-handle.h',