| 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: | 
|  | 
|  |