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. regards, tom lane