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