diff options
| -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 17cfd268b87..0b4cab9bb11 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -44,6 +44,7 @@ install: all installdirs $(INSTALL_DATA) pg_config.h '$(DESTDIR)$(includedir_server)' $(INSTALL_DATA) pg_config_ext.h '$(DESTDIR)$(includedir_server)' $(INSTALL_DATA) pg_config_os.h '$(DESTDIR)$(includedir_server)' + $(INSTALL_DATA) nodes/nodetags.h '$(DESTDIR)$(includedir_server)/nodes' $(INSTALL_DATA) utils/errcodes.h '$(DESTDIR)$(includedir_server)/utils' $(INSTALL_DATA) utils/fmgroids.h '$(DESTDIR)$(includedir_server)/utils' $(INSTALL_DATA) utils/fmgrprotos.h '$(DESTDIR)$(includedir_server)/utils' |