Chromium Code Reviews| 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..d553aa470ce12e09ec92e2ecc10d3cedce331429 100644 |
| --- a/third_party/WebKit/Source/devtools/PRESUBMIT.py |
| +++ b/third_party/WebKit/Source/devtools/PRESUBMIT.py |
| @@ -69,7 +69,7 @@ def _CompileDevtoolsFrontend(input_api, output_api): |
| # should be added to the list of triggers. |
| devtools_front_end = input_api.os_path.join("devtools", "front_end") |
| 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(".json" in path for path in local_paths) or |
|
dgozman
2016/06/03 02:24:02
protocol/*.json
pfeldman
2016/06/03 17:07:32
Done.
|
| any("compile_frontend.py" in path for path in local_paths) or |
| any("InjectedScriptSource.js" in path for path in local_paths)): |
|
dgozman
2016/06/03 02:24:02
While you are here, add DebuggerScript.js
pfeldman
2016/06/03 17:07:32
Done.
|
| lint_path = input_api.os_path.join(input_api.PresubmitLocalPath(), |