Preliminary support for cross-domain references
git-svn-id: file:///srv/svn/repo/kosuzu/trunk@42 eb64cd80-c68d-6f47-b6a3-0ada418499da
This commit is contained in:
@@ -69,7 +69,7 @@ let list_fs ?(r=false) dir =
|
||||
let valid_dir f = r && String.get f 0 <> '.' && Sys.is_directory f in
|
||||
let expand_dir d = Array.(to_list @@ map (Filename.concat d) (Sys.readdir d)) in
|
||||
let rec loop result = function
|
||||
| f::fs when valid_dir f -> expand_dir f |> List.append fs |> loop result
|
||||
| f::fs when valid_dir f -> prerr_endline f; expand_dir f |> List.append fs |> loop result
|
||||
| f::fs -> loop (f::result) fs
|
||||
| [] -> result in
|
||||
let dirs = if dir = "." then Array.to_list (Sys.readdir dir) else
|
||||
|
||||
Reference in New Issue
Block a user