On Tue, Jan 22, 2019 at 1:53 PM Julia Lawall <[email protected]> wrote:
> If you want all the header files to be ignored, just give the argument > --no-includes. What does spatch actually do with the header files that it reads? _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
