From a5e04fdf0d2a7ca58641ee6b97890c7605b69402 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= Date: Fri, 20 Oct 2023 08:34:30 +0200 Subject: [PATCH 1/2] Show dune cache location info MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Nicolás Ojeda Bär --- bin/common.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/bin/common.ml b/bin/common.ml index a4c3614aac1..abcd998ca88 100644 --- a/bin/common.ml +++ b/bin/common.ml @@ -1249,6 +1249,11 @@ let init (builder : Builder.t) = } in Log.info [ Pp.textf "Shared cache: %s" (Config.Toggle.to_string config.cache_enabled) ]; + Log.info + [ Pp.textf + "Shared cache location: %s" + (Path.to_string Dune_cache_storage.Layout.root_dir) + ]; let action_runner = match builder.action_runner with | No -> None From a67ddc285d096c6f43169e7813ce1db3f6e78892 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= Date: Sat, 21 Oct 2023 22:16:08 +0200 Subject: [PATCH 2/2] Changes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Nicolás Ojeda Bär --- doc/changes/8974.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/changes/8974.md diff --git a/doc/changes/8974.md b/doc/changes/8974.md new file mode 100644 index 00000000000..8eee5a52022 --- /dev/null +++ b/doc/changes/8974.md @@ -0,0 +1 @@ +- Display cache location in Dune log (#8974, @nojb)