Index: runtime/bin/directory_patch.dart |
diff --git a/runtime/bin/directory_patch.dart b/runtime/bin/directory_patch.dart |
index 6d42f8b507ac51b246395e3a5c368cef2d7a9bd3..cb844f7de325806b6d5121b46c98ea80227b3297 100644 |
--- a/runtime/bin/directory_patch.dart |
+++ b/runtime/bin/directory_patch.dart |
@@ -11,6 +11,8 @@ patch class _Directory { |
native "Directory_Delete"; |
/* patch */ static _rename(String path, String newPath) |
native "Directory_Rename"; |
+ /* patch */ static List _list(String path, bool recursive) |
+ native "Directory_List"; |
/* patch */ static SendPort _newServicePort() |
native "Directory_NewServicePort"; |
} |