no time(1) options / man page need update

[Mathieu Prevot]

On Tue, Feb 21, 2006 at 01:38:58PM +0100, Nicolas Rachinsky wrote:
> * Mathieu Prevot <freebsd-stable at club-internet.fr> [2006-02-21 13:19 +0100]:
> > the utility time -- time command execution doesn't work as expected:
> > 
> > time -h ls
> > 
> > give:
> > 
> > -h: Command not found.
> 
> Many shells have a builtin named time. Use 'which time' to verify this.

Thank you both & sorry.

Is there a simple way to force using /usr/bin/time instead of builtin time
when I use just time ?

Mathieu