On 13/11/2018 17:45, László Böszörményi (GCS) wrote: > Please note that src:harfbuzz currently has a problem on armhf, it > failed to build three times in line. The reason is known: the > arm-arm-01 named buildd always failed to build it[1]. Can you schedule > its build on an other armhf machine or a buildd admin (in Cc) can do > it? There's no sense trying to build it on the mentioned box again and > again or even later. If possible, please set that src:harfbuzz > shouldn't be tried to build on the arm-arm-01 machine in the future.
That will be investigated. The problem is that arm-arm-01 is an arm64 machine, building armhf packages. harfbuzz doesn't like that. In the meantime, I retried the build and an armhf machine picked it up. Emilio
