From ea933c6bc7d4c0739e563010c3c653c60a7834ee Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Fri, 13 Dec 2024 17:43:45 +0100 Subject: [PATCH] Driver: fix double new lines --- src/driver/odoc_driver.ml | 6 +++--- src/driver/packages.ml | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/driver/odoc_driver.ml b/src/driver/odoc_driver.ml index 1b72d1f306..3e94b60f63 100644 --- a/src/driver/odoc_driver.ml +++ b/src/driver/odoc_driver.ml @@ -211,7 +211,7 @@ let run mode else [] in Logs.debug (fun m -> m "XXXX Remaps length: %d" (List.length remaps)); - Logs.app (fun m -> m "Starting the compilation process... \n%!"); + Logs.app (fun m -> m "Starting the compilation process..."); let () = Eio.Fiber.both (fun () -> @@ -255,7 +255,7 @@ let run mode (fun () -> render_stats env ~generate_json nb_workers) in - Logs.app (fun m -> m "Collected logs... \n%!"); + Logs.app (fun m -> m "Collected logs..."); let grep_log ty s = let open Astring in let do_ affix = @@ -293,7 +293,7 @@ let run mode | _ -> ()) !Cmd_outputs.outputs; - Logs.app (fun m -> m "Benchmarking... \n%!"); + Logs.app (fun m -> m "Benchmarking..."); if stats then Stats.bench_results html_dir diff --git a/src/driver/packages.ml b/src/driver/packages.ml index 89162ce96c..af91eebad8 100644 --- a/src/driver/packages.ml +++ b/src/driver/packages.ml @@ -416,7 +416,7 @@ let of_libs ~packages_dir libs = fix_missing_deps packages let of_packages ~packages_dir packages = - Logs.app (fun m -> m "Computing deps... \n%!"); + Logs.app (fun m -> m "Computing deps..."); let deps = if packages = [] then Opam.all_opam_packages () else Opam.deps packages in @@ -442,7 +442,7 @@ let of_packages ~packages_dir packages = let all = orig @ ps in - Logs.app (fun m -> m "Analyzing packages needed to be built... \n%!"); + Logs.app (fun m -> m "Analyzing packages needed to be built..."); let packages = List.fold_left (fun acc (pkg, files) ->