Manoj Srivastava <[EMAIL PROTECTED]> writes: > On Thu, 06 Dec 2007 13:34:10 -0800, Ben Pfaff <[EMAIL PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
