From 8a3f28a05cd22dbdeb9233386344c47c936896e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C3=ABl=20Zasso?= Date: Thu, 20 Jan 2022 12:00:44 +0100 Subject: [PATCH] tools: add v8-embedder-state-scope.h to distributed headers PR-URL: https://github.com/nodejs/node/pull/41610 Reviewed-By: Jiawen Geng Reviewed-By: Antoine du Hamel Reviewed-By: Darshan Sen Reviewed-By: Colin Ihrig --- tools/install.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/install.py b/tools/install.py index e51d1298559ad1..e2440a082f2be7 100755 --- a/tools/install.py +++ b/tools/install.py @@ -185,6 +185,7 @@ def wanted_v8_headers(files_arg, dest): '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',