> Well, I agree with you that this would be better, but I have the > impression that the Makefile is not generated by autotools.
The make files can not be properly regenerated because the build specification needs corresponding updates. I have tried to clarify the affected details before. https://systeme.lip6.fr/pipermail/cocci/2013-March/000167.html > Autotools changes only setup/Makefile.in... I find this information strange. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci