On Wed, Apr 11, 2018 at 10:59:45AM -0400, Tom Lane wrote:
> Bruce Momjian <bruce@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 <bruce@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 +