On 10/20/2009 06:17 PM, Stefan Weil wrote:
This patch makes make quiet again.There is already a similar patch from Juan Quintela, but maybe this shorter form is preferred.
This patch would reintroduce an ordering problem between building config*.h and building the tools, whose fix is what made "make" noisy in the first place.
Paolo
