On 28-02-12 10:02, SF Markus Elfring wrote:
Do the published archive files and version repository contain any more
generated files?
Can any of them be deleted from the source file collection?
You can run 'make distclean' and then rebuild coccinelle to find out.
However, this should not be necessary. If the sources are newer than the
generated file, the tool (in this case 'menhir') should be invoked by
the Makefile and should be required to produce a new generated file.
I'd also advice against generating these files yourself if you already
have a proper version generated by us. You might not have the required
tools installed or have an old version.
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
