make/InitSupport.gmk
changeset 48057 56d3576aadd5
parent 47956 72a474c85aee
child 48907 c38163717870
--- a/make/InitSupport.gmk	Mon Dec 04 19:10:15 2017 +0100
+++ b/make/InitSupport.gmk	Mon Dec 04 19:12:57 2017 +0100
@@ -279,7 +279,9 @@
           # generated files.
           ifeq ($$(MAKE_RESTARTS),)
             ifeq ($$(words $$(matching_confs)), 1)
-              $$(info Building configuration '$$(matching_confs)' (matching CONF=$$(CONF)))
+              ifneq ($$(findstring $$(LOG_LEVEL), info debug trace),)
+                $$(info Building configuration '$$(matching_confs)' (matching CONF=$$(CONF)))
+              endif
             else
               $$(info Building these configurations (matching CONF=$$(CONF)):)
               $$(foreach var, $$(matching_confs), $$(info * $$(var)))