Magnus Hagander <magnus(at)hagander(dot)net> writes:
> On Sun, Mar 11, 2018 at 9:05 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> It might be worth blowing away ccache's cache just to see if it's cached
>> anything bogus.
> I've done that and completed a run. AFAICT it's still showing the same
> issue, right?
Yeah, looks like it to me. 'Tis a puzzlement.
regards, tom lane