Sam Kidman <sam@xxxxxxxxxx> writes: > So for some reason that submake-generated-headers target isn't getting > called for us. Hmph. What "make" version are you using exactly? Are you using any nondefault make options? Are you invoking our Makefile from some make script of your own? (There are some hacks involving toplevel vs not-top-level Makefiles that you might be falling foul of.) regards, tom lane
