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