| Index: runtime/bin/file_patch.dart
|
| diff --git a/runtime/bin/file_patch.dart b/runtime/bin/file_patch.dart
|
| index 68612a5310940f3172f0b67929bf94d760a5d1dd..4ded71913a1aacb1b26835a59008a024841445ad 100644
|
| --- a/runtime/bin/file_patch.dart
|
| +++ b/runtime/bin/file_patch.dart
|
| @@ -14,6 +14,7 @@ patch class _File {
|
| native "File_Rename";
|
| /* patch */ static _renameLink(String oldPath, String newPath)
|
| native "File_RenameLink";
|
| + /* patch */ static _copy(String oldPath, String newPath) native "File_Copy";
|
| /* patch */ static _lengthFromPath(String path) native "File_LengthFromPath";
|
| /* patch */ static _lastModified(String path) native "File_LastModified";
|
| /* patch */ static _open(String path, int mode) native "File_Open";
|
|
|