[PATCH] devtools: download scripts from linux if not found

[Thomas Monjalon]

26/11/2024 16:16, Robin Jarry:
> Thomas Monjalon, Nov 26, 2024 at 15:03:
> > I would prefer we host our own fork of checkpatch.pl.
> > There are too many irrelevant checks that we should drop.
> 
> How about get_maintainer.pl? Should we host our copy as well?

It may makes sense.

The central question is to know how to get those GPL2 scripts accepted in DPDK.