From fac2bc3933620a6184e172b3e36e17c972abfe55 Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Mon, 12 Feb 2024 09:40:10 +0100 Subject: [PATCH] fix: do exercise recompilation correctly with `--replace` Fixes #583 --- src/utils/lwt_utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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