diff options
| author | Alvaro Herrera | 2009-07-20 20:38:55 +0000 |
|---|---|---|
| committer | Alvaro Herrera | 2009-07-20 20:38:55 +0000 |
| commit | 13463f737fb711bb718b34939a4203bc272017ba (patch) | |
| tree | 1569ab5b86cc3f62dd650be1104036e5cc0fb965 | |
| parent | 49bf4dcee2d539f835e1104bbb249680bcb33c67 (diff) | |
Install src/include/utils/fmgroids.h on VPATH builds too.
The original coding was not dealing specially with this file being a symlink,
with the end result that it was not installed in VPATH builds. Oddly enough,
the clean target does know about it ...
| -rw-r--r-- | src/include/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/Makefile b/src/include/Makefile index 36326800a3..ea0cb1bfb2 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -40,6 +40,7 @@ install: all installdirs # These headers are needed for server-side development $(INSTALL_DATA) pg_config.h '$(DESTDIR)$(includedir_server)' $(INSTALL_DATA) pg_config_os.h '$(DESTDIR)$(includedir_server)' + $(INSTALL_DATA) utils/fmgroids.h '$(DESTDIR)$(includedir_server)/utils' # We don't use INSTALL_DATA for performance reasons --- there are a lot of files cp $(srcdir)/*.h '$(DESTDIR)$(includedir_server)'/ || exit; \ chmod $(INSTALL_DATA_MODE) '$(DESTDIR)$(includedir_server)'/*.h || exit; \ |