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'); |
} |