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