Index: Source/devtools/devtools.gypi |
diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi |
index bd12ea1727c14e321cf1aa850d38735ec638f63b..da2c70b35aa8769f5a396bd769e3dbff861633fc 100644 |
--- a/Source/devtools/devtools.gypi |
+++ b/Source/devtools/devtools.gypi |
@@ -185,6 +185,7 @@ |
'front_end/WebInspector.js', |
'front_end/WorkerManager.js', |
'front_end/WorkerFrontendManager.js', |
+ 'front_end/WorkerTargetManager.js', |
'front_end/Workspace.js', |
'front_end/WorkspaceController.js', |
'front_end/ZoomManager.js', |