Donald Dong <xdong@csumb.edu> writes:
> I think #3 is a better choice since it's less invasive and would
> potentially avoid similar problems in the future. I think may worth
> the risks of breaking some extensions. I moved the rule to the
> Makefile.global and added $(X) in case it's set.
Yeah, I think #3 is the best choice too.
I'm not quite sure about the $(X) addition --- it makes the output
file not agree with what gmake thinks the target is. However, I
observe other places doing the same thing, so let's try that and
see what the buildfarm thinks.
> I also updated the order in Makefile.linux in the same patch since
> they have the same cause. I'm not sure if changes are necessary for
> other platforms, and I am not able to test it, unfortunately.
That's what we have a buildfarm for. Pushed, we'll soon find out.
regards, tom lane
