Index: Source/devtools/devtools.gypi |
diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi |
index 6b13af450f8fb9145ff06c0f946fa7d304bdd7ec..67b374a773de53c0118a1b199bd8087d4911b656 100644 |
--- a/Source/devtools/devtools.gypi |
+++ b/Source/devtools/devtools.gypi |
@@ -50,9 +50,12 @@ |
], |
'devtools_core_base_files': [ |
'front_end/devtools.js', |
+ 'front_end/toolbox.js', |
+ '<@(devtools_core_base_non_generated_files)', |
+ ], |
+ 'devtools_core_base_non_generated_files': [ |
'front_end/devtools.json', |
'front_end/devtools.css', |
- 'front_end/toolbox.js', |
'front_end/toolbox.json', |
'front_end/toolbox.css', |
'front_end/Runtime.js', |