| Index: tools/version.dart
|
| diff --git a/tools/version.dart b/tools/version.dart
|
| index 2b2acb99e61839a59212336ab0aaf20085770670..eb10ac747074fde17375432d7e8a7c7d0c23fbd6 100644
|
| --- a/tools/version.dart
|
| +++ b/tools/version.dart
|
| @@ -7,7 +7,7 @@ import "dart:io";
|
| import "release/version.dart";
|
|
|
| void main() {
|
| - Path scriptPath = new Path.fromNative(new Options().script).directoryPath;
|
| + Path scriptPath = new Path(new Options().script).directoryPath;
|
| Version version = new Version(scriptPath.append("VERSION"));
|
| Future f = version.getVersion();
|
| f.then((currentVersion) {
|
|
|