[Cocci] Deletion of generated files from source file repository?
SF Markus Elfring
elfring at users.sourceforge.net
Tue Feb 28 11:17:02 CET 2012
> 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.
Are the needed dependencies completely specified in the affected build files
Does the configuration script need any updates eventually?
More information about the Cocci