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