| Index: Source/devtools/PRESUBMIT.py
|
| diff --git a/Source/devtools/PRESUBMIT.py b/Source/devtools/PRESUBMIT.py
|
| index 8d5d5091c53f701088e073e81cdf31ab3e2af34e..d2fe54158e9f50cb7ae6ca0165393bea07b6aa2c 100644
|
| --- a/Source/devtools/PRESUBMIT.py
|
| +++ b/Source/devtools/PRESUBMIT.py
|
| @@ -42,7 +42,7 @@ def _CompileDevtoolsFrontend(input_api, output_api):
|
| # FIXME: The compilation does not actually run if injected script-related files
|
| # have changed, as they reside in core/inspector, which is not affected
|
| # by this presubmit.
|
| - # Once this is fixed, InjectedScriptHost.idl and JavaScriptCallFrame.idl
|
| + # Once this is fixed, injected_script_externs.js
|
| # 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
|
|
|