Bruce Momjian <bruce@momjian.us> writes:
>>> But I think the "ecpg/ecpglib/pg_type.h" file is currently not synced
>>> with the above file.
> Should we add some Makefile magic to make sure they stay in sync?
Not so much that as teach genbki.pl to generate this file too.
I think that might be a good idea, but personally I'd leave it until
after the genbki rewrite we keep talking about. This isn't important
enough to make that rewrite have an even higher hurdle to clear.
regards, tom lane