On Wednesday, February 27, 2013 11:44:09 PM UTC+1, Jeroen Demeyer wrote: > > 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 > So the way time is used in sage/interface/qsieve.y is just broken.
-- 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.