Re: preserve timestamps when installing headers

Peter Eisentraut <peter.eisentraut@enterprisedb.com>

From: Peter Eisentraut <peter.eisentraut@enterprisedb.com>
To: Heikki Linnakangas <hlinnaka@iki.fi>, Tom Lane <tgl@sss.pgh.pa.us>
Cc: Michael Paquier <michael@paquier.xyz>, Alexander Kuzmenkov <akuzmenkov@timescale.com>, pgsql-hackers@postgresql.org
Date: 2022-09-12T15:49:36Z
Lists: pgsql-hackers
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.




Commits

  1. Use normal install program to install server headers.