On Sat, Oct 22, 2016 at 10:53:20PM +0200, Arnd Bergmann wrote:
What happened here? There was a successful build for the same commit last week, now everything seems broken. Is this still the disk-full problem you mentioned in another mail?
Yes, it's the disk full working itself out.