[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: priorities

Manoj Srivastava <srivasta@debian.org> writes:

> On Thu, 06 Dec 2007 13:34:10 -0800, Ben Pfaff <blp@cs.stanford.edu> said: 
>> I use "time" in benchmarking scripts. 
>         I do not find the built in time to be a substitute for the good
>  old fashioned time command.  [...]

Which is one reason why I wrote the above, in support of keeping
"time" at Priority: standard.  Perhaps I was not explicit enough.
Ben Pfaff 

Reply to: