From 0e4f084aed7f35d3ca8da980e6da696124d7dd81 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Mon, 29 Jul 2019 13:45:29 +0200 Subject: [PATCH] Capitalize progress message during file tree scanning MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: François Bobot --- src/file_tree.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/file_tree.ml b/src/file_tree.ml index 3e86ba1dd99..b0a9d41dc0b 100644 --- a/src/file_tree.ml +++ b/src/file_tree.ml @@ -215,7 +215,7 @@ let load ?(warn_when_seeing_jbuild_file=true) path ~ancestor_vcs = incr nb_path_visited; if !nb_path_visited mod 100 = 0 then Console.update_status_line - (Pp.verbatim (Printf.sprintf "scanned %i directories" !nb_path_visited)); + (Pp.verbatim (Printf.sprintf "Scanned %i directories" !nb_path_visited)); let+ { dirs; files } = readdir path in let project = if dir_status = Data_only then