| Index: sdk/lib/_internal/compiler/implementation/source_file_provider.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/source_file_provider.dart b/sdk/lib/_internal/compiler/implementation/source_file_provider.dart
|
| index fc4e9b24ac0de57f0c84d66e401006fba50e8f0a..f82c44e0aac083c5f1b68300eedbe925437a8190 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/source_file_provider.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/source_file_provider.dart
|
| @@ -68,7 +68,6 @@ class FormattingDiagnosticHandler {
|
| FormattingDiagnosticHandler(SourceFileProvider this.provider);
|
|
|
| void info(var message, [api.Diagnostic kind = api.Diagnostic.VERBOSE_INFO]) {
|
| - if (!verbose && identical(kind, api.Diagnostic.VERBOSE_INFO)) return;
|
| if (enableColors) {
|
| print('${colors.green("info:")} $message');
|
| } else {
|
| @@ -80,6 +79,7 @@ class FormattingDiagnosticHandler {
|
| api.Diagnostic kind) {
|
| // TODO(ahe): Remove this when source map is handled differently.
|
| if (identical(kind.name, 'source map')) return;
|
| + if (!verbose && identical(kind, api.Diagnostic.VERBOSE_INFO)) return;
|
|
|
| if (isAborting) return;
|
| isAborting = identical(kind, api.Diagnostic.CRASH);
|
|
|