On Fri, Nov 10, 2017 at 1:38 PM, Thierry <sage-googlesu...@lma.metelu.net> wrote: > On Fri, Nov 10, 2017 at 01:04:36PM +0100, Thierry wrote: > [...] >> But, if we want to add an option to let the patchbot install a new package >> proposed by some ticket, after testing that ticket, the patchbot will be >> in a different state than before to test other tickets, in this situation, >> the patchbot will report possibly wrong false negative. > > A workaround for that (at least on decent OSes), would be to have a > unionfs mechanism that adds a disposable layer mounted on $SAGE_ROOT/local > and $SAGE_ROOT/src/build during the test of such (or all) tickets.
That's not a bad idea either--perhaps I'll play around with that. -- 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.
