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 +

Reply via email to