On 11/08/2020 09:20, Vlad Khorsun wrote: > > Nothing prevent us to add to git files from ignored directories. > Many files > in src/include/gen have commit history, you may see change log and > compare file's > versions. >
Definitively not a good practice and seems like an error from us. In root/.gitignore we define gen/ which looks like about root/gen from Linux build, which should be ignored. But it catches src/include/gen by mistake. We should change .gitignore to /gen/ and ignore specific pattern from src/include/gen that should be ignored. Adriano Firebird-Devel mailing list, web interface at https://lists.sourceforge.net/lists/listinfo/firebird-devel
