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 8b6c7fdd760595beba2ed3da4515ef87281aa391..35de456560c44a57162afb1ecbb178d6a62ca44a 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) { |