Hi, Am Montag, den 08.03.2010, 22:42 +0100 schrieb Joachim Breitner: > > This might be a solution, yes, though I would prefer not to do > > this. You've managed to get highlighting-kate's build times down, making > > it build everywhere but on armel (where it got tried on a sloooow > > buildd, let's see if this gets better on one of the faster boxes). We > > have similar problem with agda, could you have a look at that? > > Maybe Iain Lane can comment on agda. 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? Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part