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 54b242baf489777c0a8e3fa220242a7bd3ed32b2..6b24057072bc422b56d77c20a3cdf978ccef8bf4 100644 |
--- a/dart/sdk/lib/_internal/compiler/implementation/dart2js.dart |
+++ b/dart/sdk/lib/_internal/compiler/implementation/dart2js.dart |
@@ -259,6 +259,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) { |
@@ -500,6 +501,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: |