Peter Eisentraut <peter_e@gmx.net> writes:
> Bruce Momjian writes:
>> If a file is needed by three non-backend directories, /port seems to be
>> the proper place for it.
> src/port is intended for replacement implementations of standard library
> functions.
I concur, src/port is *not* the right place. src/port is for stuff that
is platform-dependent.
regards, tom lane