diff --git a/Makefile.config b/Makefile.config
index 61151d527..3032f63ea 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -123,6 +123,11 @@ MAX_PID_SIZE = \
 #   $(1) is a string describing the command
 #   $(2) is the command to run
 #
+ifeq ($(VERBOSE),1)
+define silent_on_success
+  $(2)
+endef
+else
 # Run and time the command and redirect its stdout and stderr to files. Display info about the
 # command only in case of error. Try to be as helpful as possible in the error case.
 #
@@ -172,3 +177,4 @@ define silent_on_success
     printf '$(TERM_RESET)\n'; \
   fi
 endef
+endif