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
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.
> Will any other file filters become also relevant here?
Cocci mailing list