Re: 'make check' fails

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.

            regards, tom lane