preserve timestamps when installing headers

Поиск
Список
Период
Сортировка
От Alexander Kuzmenkov
Тема preserve timestamps when installing headers
Дата
Msg-id CALzhyqxFzSRwo_eOOtBmjD8Gs4LhESP4KLHx_pkNnaEMio1ugA@mail.gmail.com
обсуждение исходный текст
Ответы Re: preserve timestamps when installing headers  (Aleksander Alekseev <afiskon@gmail.com>)
Re: preserve timestamps when installing headers  (Michael Paquier <michael@paquier.xyz>)
Список pgsql-hackers
Hi hackers,

I noticed that `make install` updates modification time for all
installed headers. This leads to recompilation of all dependent
objects, which is inconvenient for example when working on a
third-party extension. A way to solve this would be to pass
`INSTALL="install -p"` to `configure`, to make `install` preserve the
timestamp. After this, a new problem arises -- the
`src/include/Makefile` doesn't use `install` for all headers, but
instead uses `cp`. This patch adds `-p` switch to `cp` invocation in
these files, to make it preserve timestamps. Combined with the
aforementioned install flag, it allows a developer to hack on both
postgres and a third-party extension at the same time, without the
unneeded recompilation.


--
Alexander Kuzmenkov
Timescale

Вложения

В списке pgsql-hackers по дате отправления:

Предыдущее
От: Andrey Lepikhov
Дата:
Сообщение: Re: Make query ID more portable
Следующее
От: bt21masumurak
Дата:
Сообщение: Re: Improve the HINT message of the ALTER command for postgres_fdw