Re: [PATCH] Have make be more silent by default