timestr

timestr (

timediff

[, 

style

[, 

format

]])

Converts times to printable strings. Always exported. Takes the following arguments:

timediff

The object containing the times to be formatted.

style

The output format. The possible values of style are:

all

Shows all of the following times: wallclock, user, system, user time of children, and system time of children.

auto

Like all , except that if the children times are both zero, it acts like noc .

noc

Shows all except the two children times.

nop

Shows only wallclock and the two children times.

format

Indicates the printf(3) -style format specifier (without the leading % ) to use for printing the times. The default is "5.2f" .