Fix Path.rm_rf

It didn't delete the toplevel directory
This commit is contained in:
Jeremie Dimino 2017-05-26 11:37:10 +01:00
parent ed89188ed6
commit f3cdbfa66f
1 changed files with 3 additions and 5 deletions

View File

@ -384,11 +384,9 @@ let rm_rf =
Array.iter (Sys.readdir dir) ~f:(fun fn ->
let fn = Filename.concat dir fn in
match Unix.lstat fn with
| { st_kind = S_DIR; _ } ->
loop fn;
Unix.rmdir fn
| _ ->
Unix.unlink fn)
| { st_kind = S_DIR; _ } -> loop fn
| _ -> Unix.unlink fn);
Unix.rmdir dir
in
fun t ->
let fn = to_string t in