> "make" sometimes involves a lot of compilation if you switch back and 
> forth in git branches that are based on different versions of Sage. But 
> after all, if you work with different Sage versions then rebuilding the 
> spkgs that have changed between versions is the right thing to do. 
>

I would think that's the problem, but in at least one case the build failed 
immediately in one branch, with *nothing* recompiled. When I switched to 
the original branch, it went about recompiling most everything.
 

> Anyway, "make" does *not* want to rebuild all of Sage unless there is a 
> reason. So, I don't see a reason for changing it. 
>

OK
 

> NB: Since for me the docs are the most annoying aspect of "make", I 
> usually 
> do "make start". 
>

Even that's not my problem.

Thanks, though
john

-- 
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.

Reply via email to