Re: [PATCH] Make make more silent.