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