Re: BUG #2531: missing header dependency in src/port/Makefile

"Alexander Dupuy" <alex.dupuy@mac.com> writes:
> While there is a dependency for path.o on the generated header file
> pg_config_paths.h, there is no such dependency for the "server" compiled
> version path_srv.o in the Makefile.  With parallel make features enabled,
> this can result in an attempt to compile path_srv.o before the
> pg_config_paths.h file has been fully generated.

Thanks for the report.  Patch applied back to 8.0.

            regards, tom lane