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