Re: [git pull] drm for v4.15

From: Linus Torvalds
Date: Fri Nov 17 2017 - 12:25:00 EST

On Fri, Nov 17, 2017 at 9:19 AM, Lukas Wunner <lukas@xxxxxxxxx> wrote:
>> and tell me that there isn't any room for making these things smarter.
> ... or deduplicate them. :-)

You could even - wait for it - have _automation_ that does it.

Yeah, it's easier to write a stupid sed-script or whatever to generate
those files. Taking patterns into account and making the output
smarter is harder, but still doesn't have to be manual. But wouldn't
it be good?

I bet it would be good for all those other OS's that want the header file too.