Kenneth Been <kennethb@telocity.com> writes:
> 2. I ran "make clean" before running "make". Maybe there is
> a problem with the dependencies in the makefiles?
There are no dependencies in the Makefiles, unless you did "make
depend". "make clean" is usually necessary after changing any
widely-used header file...
regards, tom lane
