Andrew Dunstan <andrew(at)dunslane(dot)net> writes:
> On 2025-04-07 Mo 7:41 PM, Michael Paquier wrote:
>> delete_old_cluster.sh would be left around even if not using a VPATH
>> build with ./configure (your commit message does not mention that).
>> Even if .gitignore discards it, the file is here.
> I don't think that matters. In non-vpath builds we expect the source
> directory to be scribbled on. All sorts of things might be left around.
It's okay as long as .gitignore ignores it and "make clean" removes it.
When/if we give up makefile builds, a lot of these maintenance
issues will go away...
regards, tom lane