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
-
Use normal install program to install server headers.
- c0a1d7621b0a 16.0 landed