On Thursday, July 16, 2015 at 1:29:26 PM UTC+2, Jeroen Demeyer wrote: > > On 2015-07-16 13:22, Nathann Cohen wrote: > > You know that nobody will ever run those things. > If it's running "make ptestextlong" instead of "make ptestlong" maybe > they will. It's not really more complicated. >
Nice if a target for make allows to run test for src/sage/interfaces/* that are usable. Another possibility is to add "make ptestnoextlong" for people who do not want to run tests in src/sage/interfaces/* :P -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
