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.
