Index: third_party/WebKit/Source/devtools/BUILD.gn |
diff --git a/third_party/WebKit/Source/devtools/BUILD.gn b/third_party/WebKit/Source/devtools/BUILD.gn |
index c88c0dc8dd6cac9685bab6f04e88f3641e54efde..8790109bd1a1c10a6db89b1de1d037bea2f9c30b 100644 |
--- a/third_party/WebKit/Source/devtools/BUILD.gn |
+++ b/third_party/WebKit/Source/devtools/BUILD.gn |
@@ -150,6 +150,7 @@ all_devtools_files = [ |
"front_end/cookie_table/CookiesTable.js", |
"front_end/cookie_table/module.json", |
"front_end/coverage/coverageListView.css", |
+ "front_end/coverage/CoverageDecorationManager.js", |
"front_end/coverage/CoverageListView.js", |
"front_end/coverage/CoverageModel.js", |
"front_end/coverage/coverageView.css", |