On 2013-01-20 16:53, Hugh Thomas wrote: > Would it be a good idea for sage -b to run this automatically? On my > laptop, it takes just a few seconds to run sage -sync-build. Personally, I wouldn't like it if a few seconds were added to the time that ./sage -b takes.
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
