On 2020-08-03 17:08, Dimitry Sibiryakov wrote:
Hello All.
Currently some generated files are not kept in git (such as
preprocessed epp and y) and some are kept (such as generated headers).
What are the rules to decide if a generated file should be kept or not?
First of all - if a file is needed during boot-build before it can be
generated it must be kept.
For the rest of files the rule of dumb is to not store them in
repository. But that is not absolutely string rule - for example, if
some files are generated only in some specific build (i.e. others have
no rules/targets/projects/etc to generate it) they are stored. Also some
generated files may be kept as a watchdog for the bugs in sources needed
to generate them.
Firebird-Devel mailing list, web interface at
https://lists.sourceforge.net/lists/listinfo/firebird-devel
