On Mon, Mar 08, 2010 at 11:02:19PM +0100, Marc 'HE' Brockschmidt wrote: > Joachim Breitner <[email protected]> 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? -- dann frazier -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
