Use %{dune-warnings} in Dune itself

nojb · nojb · commit 5c4861b04472 · 2025-11-23T11:51:52.000+01:00
Signed-off-by: Nicolás Ojeda Bär &lt;n.oje.bar@gmail.com&gt;
diff --git a/dune-file b/dune-file
@@ -46,7 +46,7 @@
 
 (env
  (_
-  (flags :standard -alert -unstable)
+  (flags :standard %{dune-warnings} -alert -unstable)
   (env-vars
    ; Workaround for #6607
    (CLICOLOR_FORCE 0))))
