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 5089a1ffe4970baa558fb666ce5ceccb21b2d2f6..e1f1ceb313a0bfd4f502d27a844a40138af29d3e 100755 |
--- a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
+++ b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
@@ -71,7 +71,8 @@ def to_platform_path_exact(filepath): |
scripts_path = path.dirname(path.abspath(__file__)) |
devtools_path = path.dirname(scripts_path) |
inspector_path = path.join(path.dirname(devtools_path), 'core', 'inspector') |
-v8_inspector_path = path.join(path.dirname(devtools_path), 'platform', 'v8_inspector') |
+# TODO(dgozman): move these checks to v8. |
+v8_inspector_path = path.normpath(path.join(path.dirname(devtools_path), os.pardir, os.pardir, os.pardir, 'v8', 'src', 'inspector')) |
devtools_frontend_path = path.join(devtools_path, 'front_end') |
global_externs_file = to_platform_path(path.join(devtools_frontend_path, 'externs.js')) |
protocol_externs_file = path.join(devtools_frontend_path, 'protocol_externs.js') |