Re: [PATCH for-5.2? 2/2] Makefile: No echoing for 'make help V=1'

2020-11-05 Thread Philippe Mathieu-Daudé
On 11/5/20 4:47 PM, Greg Kurz wrote: > It doesn't bring much to have echoing with "make help". Suppress it > unconditionally. > > Signed-off-by: Greg Kurz > --- > Makefile |2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) 'make help' is not as helpful as it used to be. Still: Reviewed-

Re: [PATCH for-5.2? 2/2] Makefile: No echoing for 'make help V=1'

2020-11-05 Thread Paolo Bonzini
On 05/11/20 16:47, Greg Kurz wrote: It doesn't bring much to have echoing with "make help". Suppress it unconditionally. Signed-off-by: Greg Kurz --- Makefile |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index df7a02a61a43..ba6b702107a5 100644 --

[PATCH for-5.2? 2/2] Makefile: No echoing for 'make help V=1'

2020-11-05 Thread Greg Kurz
It doesn't bring much to have echoing with "make help". Suppress it unconditionally. Signed-off-by: Greg Kurz --- Makefile |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index df7a02a61a43..ba6b702107a5 100644 --- a/Makefile +++ b/Makefile @@ -270,7 +2