| 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')
|
|
|