Re: [git pull] drm for v4.7

From: Linus Torvalds
Date: Wed May 25 2016 - 12:13:45 EST

On Wed, May 25, 2016 at 1:28 AM, Jani Nikula
<jani.nikula@xxxxxxxxxxxxxxx> wrote:
> There may be better ones out there, but Artem's "aiaiai" has some
> helpers [1] for diffing build logs, if you want something simple to
> integrate into existing scripts.

It would be lovely to have some kind of warning detection, but quite
frankly, just doing a build and counting lines in 'stderr' from the
build and having some trigger for "oops, lots of new lines" would be

So I don't think anything really fancy to diff build logs is
necessarily needed, although the people who then get the report about
"your merge causes lots of new warnings" might appreciate it.