Joachim Breitner <nomeata@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.
Marc
--
Fachbegriffe der Informatik - Einfach erklärt
139: AOL-CD
Das wichtigste Werkzeug des gemeinen Spammers oder Trolls in
Deutschland. (Marc Haber)
Attachment:
pgpD4QhTX8wVc.pgp
Description: PGP signature