Index: sdk/lib/_internal/pub/lib/src/io.dart |
diff --git a/sdk/lib/_internal/pub/lib/src/io.dart b/sdk/lib/_internal/pub/lib/src/io.dart |
index f61f47e5f7fdb6a532e0341d67b71c5cca3cd909..66477f5e605cb4186a410a6bad92da89a8819745 100644 |
--- a/sdk/lib/_internal/pub/lib/src/io.dart |
+++ b/sdk/lib/_internal/pub/lib/src/io.dart |
@@ -368,7 +368,7 @@ void createPackageSymlink(String name, String target, String symlink, |
/// Whether pub is running from within the Dart SDK, as opposed to from the Dart |
/// source repository. |
-bool get runningFromSdk => path.extension(new Options().script) == '.snapshot'; |
+bool get runningFromSdk => path.extension(Platform.script) == '.snapshot'; |
/// Resolves [target] relative to the path to pub's `resource` directory. |
String resourcePath(String target) { |