[U-Boot] PATCH: Add "time" command

[Wolfgang Denk]

Dear Mike Frysinger,

In message <201110301113.25446.vapier at gentoo.org> you wrote:
>
> > Add 'time <cmd> <args>' which executes <cmd> with <args> and shows the
> > execution time in seconds.  Requires get_timer().
> 
> NAK: we already have common/cmd_time.c and CONFIG_CMD_TIME

But common/cmd_time.c is unportable and only available on ARM due so
using a non standard timer API (get_timer_masked() etc.

I wonder if we should swap the implementations.

Best regards,

Wolfgang Denk

-- 
DENX Software Engineering GmbH,     MD: Wolfgang Denk & Detlev Zundel
HRB 165235 Munich, Office: Kirchenstr.5, D-82194 Groebenzell, Germany
Phone: (+49)-8142-66989-10 Fax: (+49)-8142-66989-80 Email: wd at denx.de
It would be illogical to kill without reason
	-- Spock, "Journey to Babel", stardate 3842.4