Index: third_party/WebKit/Source/devtools/devtools.gypi |
diff --git a/third_party/WebKit/Source/devtools/devtools.gypi b/third_party/WebKit/Source/devtools/devtools.gypi |
index cd6a22cf1c3c461b11fffd6887d904723347bce9..6dc78d6a092bb7fa8a3f6ff5bd1521362c6fcf49 100644 |
--- a/third_party/WebKit/Source/devtools/devtools.gypi |
+++ b/third_party/WebKit/Source/devtools/devtools.gypi |
@@ -156,6 +156,7 @@ |
'front_end/sdk/NetworkManager.js', |
'front_end/sdk/NetworkRequest.js', |
'front_end/sdk/PaintProfiler.js', |
+ 'front_end/sdk/ProfileTreeModel.js', |
'front_end/sdk/RemoteObject.js', |
'front_end/sdk/Resource.js', |
'front_end/sdk/ResourceTreeModel.js', |