On Mon, Dec 2, 2013 at 11:00 PM, SF Markus Elfring <[email protected]> wrote: >> Makefile | 1 + >> 1 file changed, 1 insertion(+) > > Would you really like to change Coccinelle's main make file? > https://github.com/coccinelle/coccinelle/blob/a74652145f2a7c7dbd2bf6d9b9be6bacefe677e0/Makefile > > How do you think about to adjust the autotools build specification instead? Well, I agree with you that this would be better, but I have the impression that the Makefile is not generated by autotools. Autotools changes only setup/Makefile.in... So I think, but I'm not sure, that Luis patch is good.
> > Regards, > Markus > _______________________________________________ > Cocci mailing list > [email protected] > https://systeme.lip6.fr/mailman/listinfo/cocci -- Peter _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
