Horton

Re: preserve timestamps when installing headers

Justin Pryzby <pryzby@telsasoft.com>

View thread View on postgr.es
From: Justin Pryzby <pryzby@telsasoft.com>
To: Heikki Linnakangas <hlinnaka@iki.fi>
Cc: Tom Lane <tgl@sss.pgh.pa.us>, Peter Eisentraut <peter.eisentraut@enterprisedb.com>, Michael Paquier <michael@paquier.xyz>, Alexander Kuzmenkov <akuzmenkov@timescale.com>, pgsql-hackers@postgresql.org
Date: 2022-09-10T14:38:43Z
Lists: pgsql-hackers 
On Fri, Sep 09, 2022 at 10:23:57PM +0300, Heikki Linnakangas wrote:
> On 11/01/2022 00:03, Tom Lane wrote:
> > Peter Eisentraut <peter.eisentraut@enterprisedb.com> writes:
> > > I don't think preserving timestamps should be the default behavior, but
> > > I would support organizing things so that additional options can be
> > > passed to "install" to make it do whatever the user prefers.  But that
> > > won't work if some installations don't go through install.

> Here's a patch to switch back to $(INSTALL). With that, you can do:
> 
> ./configure INSTALL="/usr/bin/install -C"

+1, I recently looked for a way to do that while trying to accelerate
Cygwin/Mingw.

-- 
Justin

Commits

  1. Use normal install program to install server headers.