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

  1. Use normal install program to install server headers.