Kenneth Been <[EMAIL PROTECTED]> 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

Reply via email to