Re: preserve timestamps when installing headers
Peter Eisentraut <peter.eisentraut@enterprisedb.com>
From: Peter Eisentraut <peter.eisentraut@enterprisedb.com>
To: Michael Paquier <michael@paquier.xyz>, Tom Lane <tgl@sss.pgh.pa.us>
Cc: Alexander Kuzmenkov <akuzmenkov@timescale.com>,
pgsql-hackers@postgresql.org
Date: 2021-12-06T11:41:09Z
Lists: pgsql-hackers
On 06.12.21 12:15, Michael Paquier wrote: > FWIW, I am not on board with changing build semantics or any > assumptions the header installation relies on either, but I could see > a point in switching back to INSTALL_DATA instead of cp to be > consistent with the rest of the build, iff the argument made back in > 2005 about the performance of this code path does not hold anymore. I think you will find that it is still very slow.
Commits
-
Use normal install program to install server headers.
- c0a1d7621b0a 16.0 landed