| Index: dart/sdk/lib/_internal/compiler/implementation/dart2js.dart
|
| diff --git a/dart/sdk/lib/_internal/compiler/implementation/dart2js.dart b/dart/sdk/lib/_internal/compiler/implementation/dart2js.dart
|
| index 55812c0c6d932efd846d82de38cd91cafe254e7c..b9e12b7de0f2067ffbff1df03f73ee00afed8dd8 100644
|
| --- a/dart/sdk/lib/_internal/compiler/implementation/dart2js.dart
|
| +++ b/dart/sdk/lib/_internal/compiler/implementation/dart2js.dart
|
| @@ -262,6 +262,7 @@ void compile(List<String> argv) {
|
| new OptionHandler('--categories=.*', setCategories),
|
| new OptionHandler('--global-js-name=.*', checkGlobalName),
|
| new OptionHandler('--disable-type-inference', passThrough),
|
| + new OptionHandler('--terse', passThrough),
|
|
|
| // The following two options must come last.
|
| new OptionHandler('-.*', (String argument) {
|
| @@ -503,6 +504,10 @@ Supported options:
|
| --enable-diagnostic-colors
|
| Add colors to diagnostic messages.
|
|
|
| + --terse
|
| + Emit diagnostics without suggestions for how to get rid of the diagnosed
|
| + problems.
|
| +
|
| The following options are only used for compiler development and may
|
| be removed in a future version:
|
|
|
|
|