Honestly, I'm not entirely sure what the problem was. I killed the patchbot, did a 'make clean && make doc-clean && git checkout develop && make', and then fired it back up, and things seem to be working now.
On Thu, Aug 13, 2015 at 10:12 AM, Vincent Delecroix < 20100.delecr...@gmail.com> wrote: > We should try to make the patchbot safer to such building failures... > Andrew, could you give us more details about what was going wrong? > > > On 13/08/15 16:09, Nathann Cohen wrote: > >> Thanks ! >> >> Nathann >> >> On 13 August 2015 at 16:07, Andrew Gainer-Dewar >> <andrew.gainer.de...@gmail.com> wrote: >> >>> Whoops! I think everything is fixed now. Sorry about the mess. >>> >>> --Andrew >>> >>> >>> On Thursday, August 13, 2015 at 5:16:03 AM UTC-4, vdelecroix wrote: >>> >>>> >>>> Seems to be agd, see >>>> >>>> http://wiki.sagemath.org/buildbot/owners >>>> >>>> And trac says Andrew Gainer-Dewar. >>>> >>>> On 13/08/15 09:34, Nathann Cohen wrote: >>>> >>>>> Hello everybody, >>>>> >>>>> Is the owner of 'Zorn' reading this mailing list? The machine reports >>>>> a build failure on a ticket, and I do not think that the errors are >>>>> related: >>>>> >>>>> http://trac.sagemath.org/ticket/19018 >>>>> >>>>> Here is the bottom of the shortlog >>>>> >>>>> ------------- >>>>> * package: Cython >>>>> log file: >>>>> /mnt/pile/data/servers/sage/sage-patchbot/logs/pkgs/Cython.log >>>>> build directory: >>>>> >>>>> >>>>> /mnt/pile/data/servers/sage/sage-patchbot/local/var/tmp/sage/build/Cython >>>>> >>>>> * package: gp2c >>>>> log file: >>>>> /mnt/pile/data/servers/sage/sage-patchbot/logs/pkgs/gp2c.log >>>>> build directory: >>>>> /mnt/pile/data/servers/sage/sage-patchbot/local/var/tmp/sage/build/gp2c >>>>> >>>>> * documentation: dochtml >>>>> log file: >>>>> /mnt/pile/data/servers/sage/sage-patchbot/logs/pkgs/../dochtml.log >>>>> --------------- >>>>> >>>>> Nathann >>>>> >>>>> >>> -- >>> You received this message because you are subscribed to a topic in the >>> Google Groups "sage-devel" group. >>> To unsubscribe from this topic, visit >>> https://groups.google.com/d/topic/sage-devel/tQFsu-LWto0/unsubscribe. >>> To unsubscribe from this group and all its topics, send an email to >>> sage-devel+unsubscr...@googlegroups.com. >>> To post to this group, send email to sage-devel@googlegroups.com. >>> Visit this group at http://groups.google.com/group/sage-devel. >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/tQFsu-LWto0/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
