[Debian-ports-devel] buildd.debian-ports.org merged onto buildd.debian.org

Thu Aug 20 10:00:08 UTC 2015

On 08/20/2015 11:43 AM, Samuel Thibault wrote:
> Do you perhaps have a hardcoded /etc/hosts entry for buildd.debian.org
> there?

Hmm, no, the /etc/hosts is clean and invoking the host command points
to the right server:

buildd at pikachu:~$ host buildd.debian.org
buildd.debian.org has address 5.153.231.18
buildd.debian.org has IPv6 address 2001:41c8:1000:21::21:18
buildd.debian.org mail is handled by 10 wuiet.debian.org.
buildd at pikachu:~$

pikachu is also identical to the other buildds which are working unless
I have overlooked anything, so I think it could be an issue on the
wanna-build server.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz at debian.org
`. `'   Freie Universitaet Berlin - glaubitz at physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913