Magnus Hagander <magnus@hagander.net> writes:
> On Sun, Mar 11, 2018 at 9:05 PM, Tom Lane <tgl@sss.pgh.pa.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