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
sufficient.
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.
Linus