[Cocci] Deletion of generated files from source file repository?
julia.lawall at lip6.fr
Tue Feb 28 11:23:14 CET 2012
On Tue, 28 Feb 2012, SF Markus Elfring wrote:
>> If the sources are newer than the generated file, the tool (in this case
>> 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