diff options
| -rw-r--r-- | src/backend/catalog/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/backend/catalog/Makefile b/src/backend/catalog/Makefile index 5a4419d3a80..62fc9b04663 100644 --- a/src/backend/catalog/Makefile +++ b/src/backend/catalog/Makefile @@ -56,7 +56,12 @@ postgres.shdescription: postgres.bki ; schemapg.h: postgres.bki ; -postgres.bki: genbki.pl Catalog.pm $(POSTGRES_BKI_SRCS) +# Technically, this should depend on Makefile.global, but then +# postgres.bki would need to be rebuilt after every configure run, +# even in distribution tarballs. So this is cheating a bit, but it +# will achieve the goal of updating the version number when it +# changes. +postgres.bki: genbki.pl Catalog.pm $(POSTGRES_BKI_SRCS) $(top_srcdir)/configure $(PERL) -I $(catalogdir) $< $(pg_includes) --set-version=$(MAJORVERSION) $(POSTGRES_BKI_SRCS) .PHONY: install-data |