On 2016-07-18 14:48, 'Paul Mercat' via sage-devel wrote:
But this command doesn't work even if I don't make any change in the
source code.
Note that changing git branches counts as changing source code. So
I bet that you *did* make changes to the Sage source code since the last
time you ran "make" successfully.
Anyway, when in doubt: run "make" (or "make build" to skip the
documentation) instead of "sage -b".
--
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
