Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> I can't reproduce this with either version of gmake, and the rules look
> fairly bullet-proof. Possibly you didn't distclean the source tree before
> configuring in the build tree.
Yes, I certainly did distclean. The difference is in the bison output
files, which are not removed by distclean; see followup message.
AFAICT it is not really make's fault, but an obscure gcc behavior that
creates the problem.
regards, tom lane