On 2013-02-27 22:45, Jean-Pierre Flori wrote:
> But if I do:
> {{{
> echo "10000000000000000000000000000000000000000" | time QuadraticSieve.exe
> }}}
> I get
> {{{
> bash: time : commande introuvable
> }}}
...which has nothing to do with Cygwin.On my Gentoo Linux system: cat /dev/null | time cat bash: time: command not found The correct syntax is time cat /dev/null | cat -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
