Hi! [...]
> > if [ . != `pwd` ]; then \ > > rm -f ppl_prolog_generated_test_common.pl; \ > > fi > > rm -f ppl_prolog_generated_test_main.pl; \ > > diff -u --ignore-all-space ./../tests/expected_pgt obtained_pgt > > make[7]: *** [pl_check_test] Terminated > > make[3]: *** [check-recursive] Terminated > > E: Caught signal 'Terminated': terminating immediately > > make[5]: *** [check-recursive] Terminated > > make[4]: *** [check] Terminated > > make[2]: *** [check] Terminated > > make[1]: *** [check-recursive] Terminated > > make: *** [check] Terminated > > make[6]: *** [check-am] Terminated > > Build killed with signal TERM after 240 minutes of inactivity > > ──────────────────────────────────────────────────────────────────────────────── > > Build finished at 20091028-0518 > > The full build log is available from: > > http://people.debian.org/~lucas/logs/2009/10/28/ppl_0.10.2-3_lsid64.buildlog > [...] Is it possible to schedule another build? I'm really clueless what could be going wrong here, other than some problem with the buildd, which seems somewhat more likely given the excerpt of daemon.log provided at the end of this log. Looking at other build logs the above diff seems to be about the last thing before install, and it worked fine on all Debian buildds just a few days ago!? Thanks, Michael
pgp4e76dmcQcg.pgp
Description: PGP signature