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