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 afc56679eec363850e892b14eb82d0959119b04a..2fce360dadc186c7f3ee7ce8e6e66b7319691305 100755 |
--- a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
+++ b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
@@ -248,12 +248,14 @@ modules_dir = tempfile.mkdtemp() |
common_closure_args = [ |
'--summary_detail_level', '3', |
'--jscomp_error', 'visibility', |
+ '--jscomp_warning', 'missingOverride', |
'--compilation_level', 'SIMPLE_OPTIMIZATIONS', |
'--warning_level', 'VERBOSE', |
'--language_in=ES6_STRICT', |
'--language_out=ES5_STRICT', |
'--extra_annotation_name', 'suppressReceiverCheck', |
'--extra_annotation_name', 'suppressGlobalPropertiesCheck', |
+ '--checks-only', |
'--module_output_path_prefix', to_platform_path_exact(modules_dir + path.sep) |
kozy
2016/12/09 03:03:45
When I rolled compiler for injected-script-source
|
] |