rktimes_sum.awk man page
SYNOPSIS
awk -f rktimes_sum.awk <rktimes-output1> [<rktimes-output2> ...]
DESCRIPTION
The rktimes_sum.awk script is used to merge a group of output files
generated by a single run of rktimes(1). Multiple output files can be
generated when the utility does a fork(2) or spawns a thread.
EXAMPLE
To sum the files "rktimes-1234.out" and "rktimes-1235.out".
$ awk -f rktimes_sum.awk rktimes-1234.out rktimes-1235.out
SEE ALSO
rktimes(1), rktimes_offset.awk(1), awk(1), cpubroker(7)
AUTHOR
The Alchemy project at the University of Utah.
NOTES
The Alchemy project can be found on the web at
http://www.cs.utah.edu/flux/alchemy
CPU Broker 1.2.0 2003/11/20 22:38:20 RKTIMES_OFFSET.AWK(1)
Man(1) output converted with
man2html