Index: Source/devtools/devtools.gypi |
diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi |
index d35c4c13cc2403d9cd17a3a624add30e3e6d9881..6c64f8a1e81ce870b3b4786ceb4389973ca17e38 100644 |
--- a/Source/devtools/devtools.gypi |
+++ b/Source/devtools/devtools.gypi |
@@ -210,6 +210,7 @@ |
'front_end/components/WorkerFrontendManager.js', |
], |
'devtools_main_js_files': [ |
+ 'front_end/main/App.js', |
'front_end/main/HelpScreenUntilReload.js', |
'front_end/main/Main.js', |
], |