| 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 aed1a8feebfec114af24d565728f46914750e592..5089a1ffe4970baa558fb666ce5ceccb21b2d2f6 100755
|
| --- a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| +++ b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py
|
| @@ -419,6 +419,7 @@ print 'Compiling devtools.js...'
|
| command = spawned_compiler_command + [
|
| '--externs', to_platform_path(global_externs_file),
|
| '--externs', to_platform_path(path.join(devtools_frontend_path, 'host', 'InspectorFrontendHostAPI.js')),
|
| + '--jscomp_off=externsValidation',
|
| '--module', jsmodule_name_prefix + 'devtools_js' + ':1',
|
| '--js', to_platform_path(path.join(devtools_frontend_path, 'devtools.js'))
|
| ]
|
|
|