Move genbki.pl's find_defined_symbol to Catalog.pm.
authorAndres Freund <andres@anarazel.de>
Wed, 4 Oct 2017 07:11:36 +0000 (00:11 -0700)
committerAndres Freund <andres@anarazel.de>
Wed, 4 Oct 2017 07:11:36 +0000 (00:11 -0700)
commit18f791ab2b6a01a632653d394e046f3daf193ff6
tree69988a023f116d9b7b9b2083d3c4873f6dc83930
parent4736d74479745f0f5a0129fba4628a742034b90e
Move genbki.pl's find_defined_symbol to Catalog.pm.

Will be used in Gen_fmgrtab.pl in a followup commit.
src/backend/catalog/Catalog.pm
src/backend/catalog/genbki.pl