Paolo Bonzini schrieb: > 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
Did you try this? config*.h will be built first, tools and docs come later with my patch, so there should not be any difference regarding the build order. The old code before 1215c6e7 was different. Regards Stefan
