Re: drop -aux{dir,base}, revamp -dump{dir,base}

[Martin Liška]

On 5/26/20 10:52 AM, Richard Biener wrote:

Did you maybe install a wrong patch or miss some changes?

No, I see the same failures.

Martin