On Wed, Apr 11, 2018 at 10:59:45AM -0400, Tom Lane wrote: > Bruce Momjian <br...@momjian.us> writes: > > I have discovered that: > > make clean; make check > > fails with: > > No doubt this is related to the generated-headers changes I've been > making, but I find your recipe confusing. "make clean" should not > have removed the generated headers from the previous build. I can > believe that if you started from a bare git checkout, did configure > and then immediately "make check", that would fail ... but I don't > think that worked before either. If it did it was certainly subject > to parallel-make race conditions. > > Please be more explicit about what state you're starting from.
OK, I can reproduce it with this: make distclean; configure; make clean check This is not supposed to work? It should be this? make distclean; configure; make clean; make; make check -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + As you are, so once was I. As I am, so you will be. + + Ancient Roman grave inscription +