On Mon, Mar 08, 2010 at 11:02:19PM +0100, Marc 'HE' Brockschmidt wrote:
> Joachim Breitner <email@example.com> writes:
> > speaking of which:
> > https://buildd.debian.org/fetch.cgi?pkg=agda&arch=hppa&ver=2.2.6-3&stamp=1267580450&file=log&as=raw
> > says
> > Building Agda-2.2.6...
> > [ 1 of 191] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc6/build/Agda/Auto/NarrowingSearch.o )
> > E: Caught signal 'Terminated': terminating immediately
> > make: *** [build-ghc6-stamp] Terminated
> > Build killed with signal TERM after 1 minutes of inactivity
> > Isn?t this time limit a bit too low?
> Seems so, no idea what the reason for that was. penalosa has been
> reconfigured to a normal timeout in the meantime. Given back on hppa,
Which explains why peri hasn't done anything useful for about 17 hours
I'm quite sure it is not going to make any progress:
I'm still fairly new to working w/ sbuild. Other than my
1-minute-timeout trick, is there a way to kill a build and stop it
from retrying later?