Re: build error

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

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
I'm building on debian etch. The time is set properly. The .h was generated,
just incorrectly, and 'make' didn't skip this step. The problem lies somewhere
downstream from make, possibly with gawk or bash or the bash environment. If
you don't think it's a problem, it's not a problem. I just thought I'd report
it because I know a few others have encountered this error, too.