no time(1) options / man page need update

[Mathieu Prevot]

On Wed, Feb 22, 2006 at 12:07:02AM +1100, Mark Andrews wrote:
> 
> > Hello,
> > 
> > the utility time -- time command execution doesn't work as expected:
> > 
> > time -h ls
> 
> 	time is built into some shells.   You need to get the right
> 	version of time.
> 
> 	Use a backslash to tell the shell not to use it's builtin version
> 	or specify the full path.
> 
> 	\time -h ls
> 	/usr/bin/time -h ls
>  
Nice !


Thank you all.

Mathieu