Hi Lars, On Fri, Sep 16, 2016 at 01:31:44PM +0200, Lars Tangvald wrote: > Hi, Salvatore > > We unfortunately don't have any armhf boxes available, and the issue doesn't > seem to reproduce for Fedora or Ubuntu.
Thanks for your investigation! > Do you have any information about the specs of the build host, and could you > retry the build and see if it fails every time? I tried several time, and got sheduled on different hosts. The hosts tried so far were: https://db.debian.org/machines.cgi?host=arnold https://db.debian.org/machines.cgi?host=hartmann and https://db.debian.org/machines.cgi?host=hoiby I will check if I can try a build on another porterbox, but only later tonight. Regards, Salvatore
