Index: Source/devtools/BUILD.gn |
diff --git a/Source/devtools/BUILD.gn b/Source/devtools/BUILD.gn |
index c0fdb8af4e4e9f562cbf9bb92af2fdfec7f4a65b..fe92894e5bcbf229f978e1208a68d305dcf642be 100644 |
--- a/Source/devtools/BUILD.gn |
+++ b/Source/devtools/BUILD.gn |
@@ -19,6 +19,7 @@ devtools_core_files = |
gypi_values.devtools_components_js_files + |
gypi_values.devtools_host_js_files + |
gypi_values.devtools_main_js_files + |
+ gypi_values.devtools_platform_js_files + |
gypi_values.devtools_screencast_js_files + |
gypi_values.devtools_sdk_js_files + |
gypi_values.devtools_toolbox_js_files + |