| Index: tools/release/version.dart
|
| diff --git a/tools/release/version.dart b/tools/release/version.dart
|
| index fd203585e906c2c652cebcf2f5bdf02332f08a97..73ef164023ca582eb62193f8ce38e0c4fefb32cd 100644
|
| --- a/tools/release/version.dart
|
| +++ b/tools/release/version.dart
|
| @@ -159,7 +159,7 @@ class Version {
|
| // "branch". Since we have both trunk and bleeding edge in the same
|
| // repository and since we always build TOT we need this to get the
|
| // right version number.
|
| - Path toolsDirectory = new Path.fromNative(_versionFileName).directoryPath;
|
| + Path toolsDirectory = new Path(_versionFileName).directoryPath;
|
| Path root = toolsDirectory.join(new Path(".."));
|
| options.workingDirectory = root.toNativePath();
|
| return Process.run(command, arguments, options).then((result) {
|
| @@ -189,7 +189,7 @@ class Version {
|
| }
|
|
|
| bool isGitRepository() {
|
| - var currentPath = new Path.fromNative(new Directory.current().path);
|
| + var currentPath = new Path(new Directory.current().path);
|
| while (!new Directory.fromPath(currentPath.append(".git")).existsSync()) {
|
| currentPath = currentPath.directoryPath;
|
| if (currentPath.toString() == "/") {
|
|
|