Index: third_party/WebKit/Source/devtools/PRESUBMIT.py |
diff --git a/third_party/WebKit/Source/devtools/PRESUBMIT.py b/third_party/WebKit/Source/devtools/PRESUBMIT.py |
index 5baa6cd1c720dd96b2b21bfd1fdce203a6968bf5..f74063724c532a90b8fe454df280bd34fbbc81f0 100644 |
--- a/third_party/WebKit/Source/devtools/PRESUBMIT.py |
+++ b/third_party/WebKit/Source/devtools/PRESUBMIT.py |
@@ -71,7 +71,8 @@ def _CompileDevtoolsFrontend(input_api, output_api): |
if (any(devtools_front_end in path for path in local_paths) or |
any("protocol.json" in path for path in local_paths) or |
any("compile_frontend.py" in path for path in local_paths) or |
- any("InjectedScriptSource.js" in path for path in local_paths)): |
+ any("InjectedScriptSource.js" in path for path in local_paths) or |
+ any("DebuggerScript.js" in path for path in local_paths)): |
lint_path = input_api.os_path.join(input_api.PresubmitLocalPath(), |
"scripts", "compile_frontend.py") |
out, _ = input_api.subprocess.Popen( |