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',