BUILT_SOURCES called on `make dist` even if the built sources should not be included in the dist

Hi, This problem seems to have been introduced in v1.16 with: - "./configure && make dist" no longer fails when a distributed file depends on one from BUILT_SOURCES. And what I can see in the Makefile output is that $(BUILT_SOURCES) has been added to distdir. I can't really see how this change

Re: BUILT_SOURCES called on `make dist` even if the built sources should not be included in the dist

On Tue, 17 Sep 2019, Jerry Lundström wrote: I can't really see how this change got approved, isn't the point of BUILT_SOURCES to be sources built when building!? Including them into distributions seems wrong. I see considerable documentation regarding BUILT_SOURCES at "https://www.gnu.org/so

Re: BUILT_SOURCES called on `make dist` even if the built sources should not be included in the dist

Hi Jerry, On 9/17/19, Jerry Lundström wrote: > This problem seems to have been introduced in v1.16 with: > > - "./configure && make dist" no longer fails when a distributed file > depends on one from BUILT_SOURCES. > > And what I can see in the Makefile output is that $(BUILT_SOURCES) has > been