Michael Paquier <michael@paquier.xyz> writes:
> On Mon, Dec 29, 2025 at 09:43:30AM +0800, Chao Li wrote:
>> Note that since ENDLIST is defined in Makefile.global.in, this change
>> requires rerunning ./configure.
> FWIW, I don't see an advantage in this proposal, and it has the
> disadvantage of more maintenance if one needs to create a new list.
> The current state of things is simpler.
Same here. This is a new bit of notation that everyone reading our
Makefiles will need to understand, and I don't think it's worth
the extra cognitive burden.
regards, tom lane