diff options
author | Heikki Linnakangas <heikki.linnakangas@iki.fi> | 2022-09-12 22:33:59 +0300 |
---|---|---|
committer | Heikki Linnakangas <heikki.linnakangas@iki.fi> | 2022-09-12 22:33:59 +0300 |
commit | c0a1d7621b0a6086630919d91dc031eea72ab0b6 (patch) | |
tree | 3b029893017ae4f062e7d4ddf58f098ce640582b /src/backend/tcop/postgres.c | |
parent | e8d78581bb864369035c736a82ecfb57482a1a09 (diff) | |
download | postgresql-c0a1d7621b0a6086630919d91dc031eea72ab0b6.tar.gz postgresql-c0a1d7621b0a6086630919d91dc031eea72ab0b6.zip |
Use normal install program to install server headers.
Commit a7032690f9 replaced $(INSTALL) with plain "cp" for installing the
server header files. It sped up "make install" significantly, because
the old logic called $(INSTALL) separately for every header file,
whereas plain "cp" could copy all the files in one command. However, we
have long since made it a requirement that $(INSTALL) can also install
multiple files in one command, see commit f1c5247563. Switch back to
$(INSTALL).
Discussion: https://www.postgresql.org/message-id/200503252305.j2PN52m23610%40candle.pha.pa.us
Discussion: https://www.postgresql.org/message-id/2415283.1641852217%40sss.pgh.pa.us
Diffstat (limited to 'src/backend/tcop/postgres.c')
0 files changed, 0 insertions, 0 deletions