Same result on another system. On Wednesday, February 27, 2013 10:10:45 PM UTC+1, Jean-Pierre Flori wrote: > > $ time true > > real 0m0.000s > user 0m0.000s > sys 0m0.000s > > $ type time > time est un mot-clé du shell > > $ /bin/sh -c "time true" > > real 0m0.138s > user 0m0.000s > sys 0m0.000s > > $ bash -c "time true" > > real 0m0.001s > user 0m0.000s > sys 0m0.000s > > $ which time > which: no time in > (/usr/local/bin:/usr/bin:/cygdrive/c/windows/system32:/cygdrive/c/windows:/cygdrive/c/windows/System32/Wbem:/cygdrive/c/windows/System32/WindowsPowerShell/v1.0:/cygdrive/c/Program > > Files/Broadcom/Broadcom 802.11 Network Adapter/Driver:/cygdrive/c/Program > Files/WIDCOMM/Bluetooth Software:/cygdrive/c/Program > Files/QuickTime/QTSystem:/usr/lib/lapack) > > >
-- 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.
