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"
.