Index: sdk/lib/_internal/pub/lib/src/source/git.dart |
diff --git a/sdk/lib/_internal/pub/lib/src/source/git.dart b/sdk/lib/_internal/pub/lib/src/source/git.dart |
index 5a7f5e5977b2b0cfeab7be96d29a9a4c0b489417..6bdf3809f7cee83564bbca7c052a7d3797ee5447 100644 |
--- a/sdk/lib/_internal/pub/lib/src/source/git.dart |
+++ b/sdk/lib/_internal/pub/lib/src/source/git.dart |
@@ -121,7 +121,7 @@ class GitSource extends Source { |
/// future that completes once this is finished and throws an exception if it |
/// fails. |
Future _ensureRepoCache(PackageId id) { |
- return new Future.sync(() { |
+ return syncFuture(() { |
var path = _repoCachePath(id); |
if (!entryExists(path)) return _clone(_getUrl(id), path, mirror: true); |
return git.run(["fetch"], workingDir: path).then((result) => null); |
@@ -141,7 +141,7 @@ class GitSource extends Source { |
/// the working tree, but instead makes the repository a local mirror of the |
/// remote repository. See the manpage for `git clone` for more information. |
Future _clone(String from, String to, {bool mirror: false}) { |
- return new Future.sync(() { |
+ return syncFuture(() { |
// Git on Windows does not seem to automatically create the destination |
// directory. |
ensureDir(to); |