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 911570de6a138541443c588f1830dc94f8edcfa9..a33f8dd07b417af53ef748be613d265fe15f4c8d 100755 |
--- a/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
+++ b/third_party/WebKit/Source/devtools/scripts/compile_frontend.py |
@@ -230,12 +230,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) |
] |