[sage-release] Re: after edit the sage library, sage -b now tells "Nothing to (re)build / all up-to-date."
Ok, I see, thank you. I now understand the link with the title of that ticket which I have seen earlier. On Friday, January 14, 2022 at 3:56:08 PM UTC+1 egourg...@gmail.com wrote: > This is fixed in Sage 9.5.rc1, cf. https://trac.sagemath.org/ticket/33130 > > Eric. > Le vendredi 14 janvier 2022 à 15:44:15 UTC+1, Sébastien Labbé a écrit : > >> With 9.5.rc0, I modify a file in the sage library, then >> >> $ sage -b >> Nothing to (re)build / all up-to-date. >> >> does nothing. This is a new behavior. But it seems my modications are >> being considered, so it is okay. >> >> From where does this change in behavior come from? >> > -- 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 sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/64319519-8c81-463c-959f-c16ddfa21c68n%40googlegroups.com.
[sage-release] Re: after edit the sage library, sage -b now tells "Nothing to (re)build / all up-to-date."
This is fixed in Sage 9.5.rc1, cf. https://trac.sagemath.org/ticket/33130 Eric. Le vendredi 14 janvier 2022 à 15:44:15 UTC+1, Sébastien Labbé a écrit : > With 9.5.rc0, I modify a file in the sage library, then > > $ sage -b > Nothing to (re)build / all up-to-date. > > does nothing. This is a new behavior. But it seems my modications are > being considered, so it is okay. > > From where does this change in behavior come from? > -- 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 sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/2c7fbb57-b8e1-4102-93d4-be9d3e2b7995n%40googlegroups.com.
[sage-release] Re: after edit the sage library, sage -b now tells "Nothing to (re)build / all up-to-date."
oups, I wanted to post that to sage-devel. Sorry. -- 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 sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/23816ad1-5836-44d4-875b-57a0f3d19559n%40googlegroups.com.
