Peter Eisentraut <[EMAIL PROTECTED]> 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
---------------------------(end of broadcast)---------------------------
TIP 3: if posting/reading through Usenet, please send an appropriate
subscribe-nomail command to [EMAIL PROTECTED] so that your
message can get through to the mailing list cleanly
