From 9b4bf7de6c9a7c25f116c7a502384c20b5cfaea3 Mon Sep 17 00:00:00 2001
From: Michaël Zasso <targos@protonmail.com>
Date: Tue, 4 Dec 2018 08:20:37 +0100
Subject: deps: update V8 to 7.1.302.28

PR-URL: https://github.com/nodejs/node/pull/23423
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Gus Caplan <me@gus.host>
Reviewed-By: Myles Borins <myles.borins@gmail.com>
---
 deps/v8/gni/v8.gni | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'deps/v8/gni/v8.gni')

diff --git a/deps/v8/gni/v8.gni b/deps/v8/gni/v8.gni
index a5312f76ac..6cb248f160 100644
--- a/deps/v8/gni/v8.gni
+++ b/deps/v8/gni/v8.gni
@@ -143,7 +143,15 @@ template("v8_source_set") {
     }
   }
   target(link_target_type, target_name) {
-    forward_variables_from(invoker, "*", [ "configs" ])
+    forward_variables_from(invoker,
+                           "*",
+                           [
+                             "configs",
+                             "remove_configs",
+                           ])
+    if (defined(invoker.remove_configs)) {
+      configs -= invoker.remove_configs
+    }
     configs += invoker.configs
     configs -= v8_remove_configs
     configs += v8_add_configs
-- 
cgit v1.2.3