On Sun, 28 Mar 2021, Markus Elfring wrote:
> > Probably the simplest is to put the names of the header files in a file,
> > eg find . -name "*h" > header_list, and then give the arguement
> > --file-groups header_list to Coccinelle.
>
> How are the chances to add support for another program option like
> “--find-headers”?
In the last 15 years I have never wanted to do this. And we already have
a huge number of command line options, so I'm not going to add this.
julia
>
> Will any other file filters become also relevant here?
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci