For me just doing git pull origin master make -j60 # which did finish, I am getting impatient ./sage
shows the correct 6.0.rc1 banner, and sage: print version() Sage Version 6.0.rc1, Release Date: 2013-12-17 John On 17 December 2013 15:34, Nathann Cohen <[email protected]> wrote: >> Hmm, I have done ‘make' twice, and asking for version gives me >> >> 'Sage Version 6.0.rc0, Release Date: 2013-12-16’ >> >> and but the banner is still showing sage-5.13! Is this expected? > > Even if you run "sage -br" again ? > > Nathann > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/groups/opt_out.
