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
