| Index: utils/pub/io.dart
|
| diff --git a/utils/pub/io.dart b/utils/pub/io.dart
|
| index a32c4714198b4e94c7e8969d3f1202177721bc63..59172c89a258e73f5e0296cdcaabb376ebce6755 100644
|
| --- a/utils/pub/io.dart
|
| +++ b/utils/pub/io.dart
|
| @@ -201,7 +201,12 @@ bool dirExists(String dir) => new Directory(dir).existsSync();
|
| void deleteEntry(String path) {
|
| if (linkExists(path)) {
|
| log.io("Deleting link $path.");
|
| - new Link(path).deleteSync();
|
| + if (Platform.operatingSystem == 'windows') {
|
| + // TODO(nweiz): remove this when issue 9278 is fixed.
|
| + new Directory(path).deleteSync();
|
| + } else {
|
| + new Link(path).deleteSync();
|
| + }
|
| } else if (dirExists(path)) {
|
| log.io("Deleting directory $path.");
|
| new Directory(path).deleteSync(recursive: true);
|
|
|