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