diff --git a/src/utils/lwt_utils.ml b/src/utils/lwt_utils.ml index 51ddabb91..a0f1a3bbb 100644 --- a/src/utils/lwt_utils.ml +++ b/src/utils/lwt_utils.ml @@ -40,7 +40,7 @@ let copy_tree src dst = mkdir_p dst >>= fun () -> let cmd = Array.concat - [[|"cp"; "-PR"|]; + [[|"cp"; "-PpR"|]; Array.map (Filename.concat src) files; [|dst|]] in