| Index: pkg/compiler/lib/src/source_file_provider.dart
|
| diff --git a/pkg/compiler/lib/src/source_file_provider.dart b/pkg/compiler/lib/src/source_file_provider.dart
|
| index cbc6ff3383cb5be3d3422cfebbf71900054185de..6291c118eacb794f18417a484a85c1ae14327452 100644
|
| --- a/pkg/compiler/lib/src/source_file_provider.dart
|
| +++ b/pkg/compiler/lib/src/source_file_provider.dart
|
| @@ -275,6 +275,9 @@ class RandomAccessFileOutputProvider {
|
| } else if (extension == "info.json") {
|
| String outName = out.path.substring(out.path.lastIndexOf('/') + 1);
|
| uri = out.resolve('$outName.$extension');
|
| + } else if (extension == "stats.json") {
|
| + String outName = out.path.substring(out.path.lastIndexOf('/') + 1);
|
| + uri = out.resolve('$outName.$extension');
|
| } else {
|
| onFailure('Unknown extension: $extension');
|
| }
|
|
|