Teach kdump a handy new trick: -p $pid selects the records of
commit7095dba2ce93fb774e059cb4e3445ec2a3f62796
authorJoerg Sonnenberger <joerg@dragonflybsd.org>
Thu, 1 Jun 2006 18:18:00 +0000 (1 18:18 +0000)
committerJoerg Sonnenberger <joerg@dragonflybsd.org>
Thu, 1 Jun 2006 18:18:00 +0000 (1 18:18 +0000)
tree97ec44d36613ee2185176694254ad3bb87448e51
parent8bb9ebb6f3875d6cf90f4ab9375870b7add97d94
Teach kdump a handy new trick: -p $pid selects the records of
a specific PID, making it much faster than e.g. grep of the output.
Keep track of how long the header was, useful for later additions.

Obtained-from: NetBSD
usr.bin/kdump/kdump.1
usr.bin/kdump/kdump.c