| Index: tools/full-coverage.dart
|
| diff --git a/tools/full-coverage.dart b/tools/full-coverage.dart
|
| index 29635743f0e8b026faf88713aa895e139e147373..d7ff76f005668bd81aec804d45b25131e9a60723 100644
|
| --- a/tools/full-coverage.dart
|
| +++ b/tools/full-coverage.dart
|
| @@ -462,9 +462,11 @@ parseArgs(List<String> arguments) {
|
|
|
| env.pkgRoot = args["package-root"];
|
| if (env.pkgRoot != null) {
|
| - env.pkgRoot = absolute(normalize(args["package-root"]));
|
| - if (!FileSystemEntity.isDirectorySync(env.pkgRoot)) {
|
| - fail("Provided package root '${args["package-root"]}' is not directory.");
|
| + var pkgRootUri = Uri.parse(env.pkgRoot);
|
| + if (pkgRootUri.scheme == "file") {
|
| + if (!FileSystemEntity.isDirectorySync(pkgRootUri.toFilePath())) {
|
| + fail("Provided package root '${args["package-root"]}' is not directory.");
|
| + }
|
| }
|
| } else {
|
| env.pkgRoot = Platform.packageRoot;
|
|
|