Magnus Hagander <magnus@hagander.net> writes:
> Hmm. So it works for you on exactly the same version that the server runs.
> That's interesting. Is there something wrong in how we run it? I wonder if
> its broken by ccache. What we have is:
It might be worth blowing away ccache's cache just to see if it's cached
anything bogus.
regards, tom lane
