Suggestion for end of Makefile

[Jonathan Gibbons]

Re: JDK builds,

The new parallel make is wonderfully fast (thank you) but less great 
when it comes to figuring out why a build failed, especially when you 
don't have full access to the build machine, as is the case with "build 
servers", where you get the build log, and the product bits if the build 
is successful.

I finally figured out a tip and wonder if it would be worth adding this 
to the end of the build.

If the build fails, grep through the log looking for lines containing 
the text "recipe for .* failed".

Would it be possible to have the build report any such lines in the 
summary at the end of the log?

-- Jon