diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index a85183d..555f914 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -70,6 +70,19 @@ my %cmds = ( ); my %kernels; +my $starttime; + +BEGIN { + ($starttime) = POSIX::times(); +} + +END { + my ($endtime, $user, $system) = POSIX::times(); + my $ticks = POSIX::sysconf(&POSIX::_SC_CLK_TCK); + printf(STDERR "TB --- %.2f user %.2f system %.2f real\n", + $user / $ticks, $system / $ticks, ($endtime - $starttime) / $ticks); +} + sub message(@) { my $msg = join(' ', @_); |
