Michael Paquier <michael@paquier.xyz> writes:
> Regarding 0002, I am not sure. Even if this reduces a lot of
> duplication, which is really nice, enforcing .SECONDARY to not trigger
> with a change impacting Makefile.global.in does not sound very
> appealing to me in the long-run, TBH.
Yeah, I don't like that change either. It would be one thing if
we had several places in which suppressing .SECONDARY was useful,
but if there's only one then it seems better to design around it.
As a concrete example of why this might be a bad idea, how sure
are you that noplace in Makefile.global depends on that behavior?
regards, tom lane