On 12/09/2022 18:49, Peter Eisentraut wrote:
> On 09.09.22 21:23, Heikki Linnakangas wrote:
>>> So I fear we're optimizing for a case that stopped being mainstream
>>> a decade or more back. I could get behind switching the code back
>>> to using $(INSTALL) for this, and then offering some way to inject
>>> user-selected switches into the $(INSTALL) invocations. That
>>> wouldn't need much more than another gmake macro. (Does there
>>> need to be a way to inject such switches only into header
>>> installations, or is it OK to do it across the board?)
>>
>> Here's a patch to switch back to $(INSTALL).
>
> I'm content to go ahead with this.
Committed.
- Heikki
