On Tue, Mar 09, 2010 at 10:50:31AM -0700, dann frazier wrote: > On Mon, Mar 08, 2010 at 11:02:19PM +0100, Marc 'HE' Brockschmidt wrote: > > Joachim Breitner <nome...@debian.org> 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, > > now. > > 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: > https://buildd.debian.org/build.cgi?pkg=agda;ver=2.2.6-3;arch=hppa > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=572300 > > 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?
sbuild-abort should do that. Kurt -- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100309182129.ga7...@roeckx.be