Index: Source/devtools/devtools.gypi |
diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi |
index 82ccbd49a46f4f0ccb3ab91e28a55f307ce2925d..92f687c6f5a5433c674bf160e01912dacd147fb0 100644 |
--- a/Source/devtools/devtools.gypi |
+++ b/Source/devtools/devtools.gypi |
@@ -67,6 +67,7 @@ |
'front_end/common/Console.js', |
'front_end/common/ContentProvider.js', |
'front_end/common/Geometry.js', |
+ 'front_end/common/Lock.js', |
'front_end/common/ModuleExtensionInterfaces.js', |
'front_end/common/modules.js', |
'front_end/common/NotificationService.js', |