[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Timeouts


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: 

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?


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

Reply to: