Stefan Kaltenbrunner <stefan@kaltenbrunner.cc> writes:
> Looks like somebody broke the snapshot generation script again:
[ scratches head... ] "make dist" works for me. Can you get a
trace indicating what command was used to call genbki.pl?
regards, tom lane