Index: utils/pub/io.dart |
diff --git a/utils/pub/io.dart b/utils/pub/io.dart |
index 6e5ef86d2d548da976ed63f70893d2c750db2d69..d9a12664eb8f077a93feaa072eda28289cc7098f 100644 |
--- a/utils/pub/io.dart |
+++ b/utils/pub/io.dart |
@@ -63,7 +63,7 @@ String writeTextFile(String file, String contents, {dontLogContents: false}) { |
/// Deletes [file]. |
void deleteFile(String file) { |
- new File(file).delete(); |
+ new File(file).deleteSync(); |
} |
/// Creates [file] and writes [contents] to it. |