Hi,
On 2023-11-08 12:04:30 +0100, Peter Eisentraut wrote:
> Ok, I didn't know about ninja install-world. That works for me. Maybe a
> "world" target would also be good.
Yea, I thought so as well. I'll send out a patch shortly. Kinda wondering if
its worth backpatching to 16. Uniformity seems useful and it's low risk.
> I played around with this a bit and noticed some files missing or in the
> wrong place. See two attached patches (plus e9f075f9a1 already committed).
Make sense.
Greetings,
Andres Freund