diff --git a/Makefile.config b/Makefile.config index 01466a6c4..bf34da3e5 100644 --- a/Makefile.config +++ b/Makefile.config @@ -111,7 +111,7 @@ define copy_or_same_file endef INTERACTIVE = $(shell [ -t 0 ] && echo 1) -SILENT = $(findstring s,$(firstword $(MAKEFLAGS))) +SILENT = $(findstring s,$(filter-out -%,$(firstword $(MAKEFLAGS)))) ifeq (1,$(INTERACTIVE)) TERM_ERROR = $(shell printf '\e[31;1m')