vanek <vanek@acd.net> writes:
> The fmgroids.h file was incorrectly being generated by shell script
> Gen_fmgrtab.sh,
Uh, it works for everybody else. What platform are you testing on?
(The kernel version isn't a real helpful answer, since it's unlikely
this is a kernel issue.)
While I'm not certain how it would lead to this exact failure, one
thing to check is that your machine's clock is set correctly ---
file timestamps that seem to be in the future can cause "make" to
skip necessary steps.
regards, tom lane
