On Wed, Mar 03, 2010 at 09:50:15AM +0000, Iain Lane wrote: > Hi, > > On Tue, Mar 02, 2010 at 07:21:04PM -0700, dann frazier wrote: >> Source: agda >> Version: 2.2.6-3 >> Severity: serious >> User: debian-h...@lists.debian.org >> Usertags: hppa >> >> The agda build reliably hangs on hppa, but the included watcher >> continues to generate output - blocking the buildd until manually >> killed. >> >> The logs are available at: >> https://buildd.debian.org/build.cgi?pkg=agda;ver=2.2.6-3;arch=hppa > > Thanks for the build logs. I'm not convinced that there is an actual > hang here ??? it looks rather that the admins have just prematurely > killed it. The build is known to be long running and not output anything > for a long time, hence the need for a watcher.
See: https://buildd.debian.org/fetch.cgi?pkg=agda;ver=2.2.6-3;arch=hppa;stamp=1267463849 In this case, the build started at: 2010.02.27 04:20 And I killed it at: 2010.03.01 17:17 I let it retry in case it was a transient problem, but it again hung indefinitely on the same file. > Perhaps we could try in a porterbox. Could you get the build-deps > installed and try a build there? (IANADD) It occurred on both buildds, which run the same kernel/config as our porterbox. > Otherwise the important difference between -2 and -3 is that the former > was built with ghc6 6.10.4 and the latter 6.12.1. -- dann frazier -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
