git.postgresql.org Git - postgresql.git/commitdiff

diff --git a/src/backend/catalog/Makefile b/src/backend/catalog/Makefile

index eca15af42f1f838e3a2a3e3d073d43bc43c81b9b..a974bd526077d6d73cf565f01c1e243b5ef26e6f 100644 (file)

--- a/src/backend/catalog/Makefile

+++ b/src/backend/catalog/Makefile

# will achieve the goal of updating the version number when it

# changes.

postgres.bki: genbki.pl Catalog.pm $(POSTGRES_BKI_SRCS) $(top_srcdir)/configure $(top_srcdir)/src/include/catalog/duplicate_oids

- cd $(top_srcdir)/src/include/catalog && ./duplicate_oids

+ cd $(top_srcdir)/src/include/catalog && $(PERL) ./duplicate_oids

$(PERL) -I $(catalogdir) $< $(pg_includes) --set-version=$(MAJORVERSION) $(POSTGRES_BKI_SRCS)

.PHONY: install-data