close
Skip to content

--display=quiet has no effect on --root-changing messages #12854

@raphael-proust

Description

@raphael-proust

Expected Behavior

dune build --root=foo/bar blah --display=quiet should be quiet

Actual Behavior

dune build --root=foo/bar blah --display=quiet displays both Entering diretory 'foo/bar' and Leaving directory 'foo/bar' messages.

Reproduction

diff --git a/test/blackbox-tests/test-cases/quiet-root.t b/test/blackbox-tests/test-cases/quiet-root.t
new file mode 100644
index 000000000..4bf5017a5
--- /dev/null
+++ b/test/blackbox-tests/test-cases/quiet-root.t
@@ -0,0 +1,21 @@
+Document how Dune displays various things
+=========================================
+
+  $ echo '(lang dune 3.0)' > dune-project
+  $ export BUILD_PATH_PREFIX_MAP=SH=`command -v sh`
+
+Errors with location embed in their output
+------------------------------------------
+
+  $ mkdir foo/
+  $ cat >foo/dune-project<<"EOF"
+  > (lang dune 3.16)
+  > (package (name foo))
+  > EOF
+
+  $ dune build --root=foo/ @fmt
+  Entering directory 'foo'
+  Leaving directory 'foo'
+  $ dune build --root=foo/ @fmt --display=quiet
+  Entering directory 'foo'
+  Leaving directory 'foo'

Specifications

  • Version of dune (output of dune --version): 3.19.1
  • Version of ocaml (output of ocamlc --version): 4.14.0
  • Operating system (distribution and version): linux, debian

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions