Index: Source/devtools/devtools.gypi |
diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi |
index f95631ea42f61d61faaab619ef8f1c9621d6afd0..5c301f296dbaf49d3fca5a48cc39f5ace7cfa3cb 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', |