On 2014-03-05, Jeroen Demeyer <[email protected]> wrote: > On 2014-03-05 15:33, Dima Pasechnik wrote: >>> something has happened, surely, but at the end I still see beta2 >>> banner, even though git log says that the latest commit is > > Works for me. What does > "ls -l src/bin/sage-banner local/bin/sage-banner" say?
now, after "$MAKE ptestlong" it says it is beta3. My MAKE is "make -j8", in case it matters. Dima -- 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.
