Use 'cp' and 'chmod' in place of 'install' to install header files.

Bruce Momjian <bruce@momjian.us>

Commit: a7032690f96efde6e05f166c21c583b02bf71bd2
Author: Bruce Momjian <bruce@momjian.us>
Date: 2005-03-25T23:22:54Z
Releases: 8.1.0
Use 'cp' and 'chmod' in place of 'install' to install header files.
This reduces header file install from 8 seconds to 0.40 seconds.

Files

PathChange+/−
src/include/Makefile modified +6 −7
src/Makefile.global.in modified +5 −3