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 http://benpfaff.org