Index: third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
diff --git a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
index bc4048327c407ec1a17a378611a053c6a176555a..fab1a5ca2dee9dbfb6154e8fe028fbc88cdcff53 100755 |
--- a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
+++ b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
@@ -76,7 +76,7 @@ devtools_frontend_path = path.join(devtools_path, 'front_end') |
patched_es6_externs_file = to_platform_path(path.join(devtools_frontend_path, 'es6.js')) |
global_externs_file = to_platform_path(path.join(devtools_frontend_path, 'externs.js')) |
protocol_externs_file = path.join(devtools_frontend_path, 'protocol_externs.js') |
-injected_script_source_name = path.join(inspector_path, 'InjectedScriptSource.js') |
+injected_script_source_name = path.join(inspector_path, 'v8/InjectedScriptSource.js') |
injected_script_externs_file = path.join(inspector_path, 'injected_script_externs.js') |
jsmodule_name_prefix = 'jsmodule_' |