On Tue, Oct 09, 2007 at 12:57:23AM +0100, Jonathan Underwood wrote:
> 
> $ time ./buildports-orig.pl >/dev/null
> 
Just as a note, you are almost always better off running /usr/bin/time
explicitly.  This is because time is a shell builtin function (at least
in Bash, not sure about other shells), which is inferior to the
/usr/bin/time program.

Regards,

-Roberto
-- 
Roberto C. Sánchez
http://people.connexer.com/~roberto
http://www.connexer.com

Attachment: signature.asc
Description: Digital signature

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Shorewall-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/shorewall-devel

Reply via email to