On Tue, 25 Apr 2017, Andrew Cagney wrote: > - the obvious problem is that the generated file version.c shouldn't > even be in the source tree Can we add these to .gitignore ? Paul