Use normal 'install' to install server header files

Edit
ID 3885
Title Use normal 'install' to install server header files
Topic Miscellaneous
Created 2022-09-12 14:55:24
Last modified 2022-09-12 20:04:28 (2 years, 2 months ago)
Latest email 2022-09-12 20:04:10 (2 years, 2 months ago)
Status
2022-11: Committed
Target version
Authors Heikki Linnakangas (heikki)
Reviewers Become reviewer
Committer Heikki Linnakangas (heikki)
Links CFbot results (CirrusCI) CFbot GitHub
Checkout latest CFbot patchset Go to your local checkout of the PostgreSQL repository and run:
git remote add commitfest https://github.com/postgresql-cfbot/postgresql.git
git fetch commitfest cf/3885
git checkout commitfest/cf/3885
Emails
preserve timestamps when installing headers
First at 2021-10-12 10:22:50 by Alexander Kuzmenkov <akuzmenkov at timescale.com>
Latest at 2022-09-12 20:04:10 by Heikki Linnakangas <hlinnaka at iki.fi>
Latest attachment (0001-Use-normal-install-program-to-install-server-headers.patch) at 2022-09-09 19:23:57 from Heikki Linnakangas <hlinnaka at iki.fi>
    Attachment (0001-Use-normal-install-program-to-install-server-headers.patch) at 2022-09-09 19:23:57 from Heikki Linnakangas <hlinnaka at iki.fi> (Patch: Yes)
    Attachment (preserve-header-timestamps.patch) at 2021-10-12 10:22:50 from Alexander Kuzmenkov <akuzmenkov at timescale.com> (Patch: Yes)
History
When Who What
2022-09-12 20:04:28 Heikki Linnakangas (heikki) Closed in commitfest 2022-11 with status: Committed
2022-09-12 14:55:42 Heikki Linnakangas (heikki) Changed authors to Heikki Linnakangas (heikki)
2022-09-12 14:55:42 Heikki Linnakangas (heikki) Changed committer to heikki
2022-09-12 14:55:24 Heikki Linnakangas (heikki) Attached mail thread CALzhyqxFzSRwo_eOOtBmjD8Gs4LhESP4KLHx_pkNnaEMio1ugA@mail.gmail.com
2022-09-12 14:55:24 Heikki Linnakangas (heikki) Created patch record
Edit