| Index: editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| index b1cced892d9acb4804c7f3383c62d6307ccda5d1..fbbe65fb1037f1f0144f3ccae457abb8a33f1c58 100644
|
| --- a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| +++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| @@ -28,7 +28,7 @@ class JavaSystemIO {
|
| }
|
| }
|
| if (name == 'com.google.dart.sdk') {
|
| - String exec = new Options().executable;
|
| + String exec = Platform.executable;
|
| if (exec.length != 0) {
|
| String sdkPath;
|
| // may be "xcodebuild/ReleaseIA32/dart" with "dart-sdk" sibling
|
|
|