diff options
| -rw-r--r-- | src/include/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/include/Makefile b/src/include/Makefile index 9c84f46b8dc..6ca5cbdf2af 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -4,7 +4,7 @@ # # 'make install' installs whole contents of src/include. # -# $PostgreSQL: pgsql/src/include/Makefile,v 1.21 2005/12/09 21:19:35 petere Exp $ +# $PostgreSQL: pgsql/src/include/Makefile,v 1.21.2.1 2009/07/20 20:39:22 alvherre Exp $ # #------------------------------------------------------------------------- @@ -37,6 +37,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; \ |