Thats a race in the dev scripts, see http://trac.sagemath.org/ticket/14482#comment:158
On Monday, November 18, 2013 12:05:39 AM UTC-5, Nils Bruin wrote: > > I noticed a failed doctest report by a patchbot: > > > http://patchbot.sagemath.org/log/15432/Ubuntu/12.10/x86_64/3.5.0-17-generic/pi/2013-11-17%2018:44:09%20-0800 > > which I could reproduce on my own computer with 5.13b2 by pulling the > branch and doing sage -b. > However, after issuing `make` the doctest succeeded (well, it timed out, > but sage -t --long succeeded). Does that indicate an error in dependency > tracking in sage -b? How do you know if running sage -b is enough or when a > full make is required? > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
