From 3e79b7e8ee8852137bf0240ed15d6ffb655322a1 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Sat, 9 Jul 2022 10:20:23 +0200 Subject: [PATCH] Install generated nodes/nodetags.h --- src/include/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/include/Makefile b/src/include/Makefile index 17cfd268b8..0b4cab9bb1 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' -- 2.39.5