Hi Simon,

Le lundi 18 décembre 2017 18:37:14 UTC+1, Simon King a écrit :
>
> Hi Eric, 
>
> On 2017-12-18, Eric Gourgoulhon <egourg...@gmail.com <javascript:>> 
> wrote: 
> > Le lundi 18 décembre 2017 15:58:30 UTC+1, Vincent Klein a écrit : 
> > I don't know what is the policy here: should all the lines that depend 
> on 
> > the one marked "# long time" be marked "# long time" as well, so that 
> "sage 
> > -t" without "--long" is successful ? 
>
> Of course! The same holds for "# optional: bla". All subsequent lines 
> have to be marked in the same way, unless they work the same regardless 
> whether the previous lines have been executed or not. 
>
>
Thanks for your answer. Indeed, this seems the only sensible thing to do!

Best regards,

  Eric.

-- 
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.

Reply via email to