On Mon, 2012-09-17 at 23:10 -0400, Tom Lane wrote:
> > I had suggested to put it into src/include/port/linux.h
>
> OK, that's probably reasonable.
It turns out that doesn't work because port.h is included after all the
interesting libc header files (stdio.h etc.).
I think the best place to put it is going to be src/template/linux.
That would mirror the existing practice of putting it on the compiler
command line.