Thanks, I should use sage -f more often. So, what became of Jeroen's idea of using the "order only dependency" feature of GNU make?
On Mon, Nov 3, 2014 at 10:13 AM, Francois Bissey < francois.bis...@canterbury.ac.nz> wrote: > see https://groups.google.com/forum/#!topic/sage-devel/tyXJC2rtsag > > > On 3/11/2014, at 22:07, Ralf Stephan <gtrw...@gmail.com> wrote: > > > > Hello, > > Up to one of the last beta versions, 'make' only built new libraries > once. > > Now, each time I switch branches to an older one and merge develop, > > 'make' will rebuild python-2.7.8, ATLAS and whatnot, taking half an hour > > just for a branch switch on a 6-core, 8GB desktop machine. > > > > As make is still recommended in the documentation, I consider this a bug. > > > > But, noone else complained, so what am I missing? > > > > Regards, > > > > -- > > 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. > > > This email may be confidential and subject to legal privilege, it may > not reflect the views of the University of Canterbury, and it is not > guaranteed to be virus free. If you are not an intended recipient, > please notify the sender immediately and erase all copies of the message > and any attachments. > > Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more > information. > > -- > 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/CZ5HNKsOmSk/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.
