From 6012a7aa506ef4f885ab89fe0284dffa9b07bd00 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 1 Jul 2022 09:18:41 +0200
Subject: [PATCH] [build] document DUNE_DISPLAY

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index efe203b784e..3888fe55efe 100644
--- a/Makefile
+++ b/Makefile
@@ -40,7 +40,10 @@ ifeq ($(RELEASE),yes)
 DUNE_BUILD_OPTS+=--release
 endif
 
-DUNE_DISPLAY?=progress # Dune default, see '--display' dune option
+# DUNE_DISPLAY: chose Dune build verbosity (see '--display' dune option)
+# Default: progress (same as dune default)
+# Recommend for tests: short
+DUNE_DISPLAY?=progress
 DUNE_BUILD_OPTS+=--display $(DUNE_DISPLAY)
 
 ###################
-- 
GitLab