On Monday, December 4, 2017 at 9:37:42 AM UTC, Jeroen Demeyer wrote: > > On 2017-12-04 00:46, Dima Pasechnik wrote: > > I saw this as well, while incrementally building 8.1.rc4. > > I cannot reproduce this... >
Anyway, it's not a bug. Of course it's not possible to test for all the possible states of the build tree to ensure that an incremental build goes smoothly after a source update. -- 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.