On 2014-11-03 10:23, Ralf Stephan wrote:
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?
Still a good idea. If Volker considers it a good idea for Sage-6.4, I'll
make a patch quickly.
--
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.
