tree 92559c4f0f3565d9ef4686644428e88b79e94620
parent 5c94f93871a094ab4bce2f3c49ccdc8ae322e277
author Tom Tromey <tom@tromey.com> 1624206121 -0600
committer Tom Tromey <tom@tromey.com> 1649777475 -0600

Let skip_one_die not skip children

This patch adds an option to skip_one_die that causes it not to skip
child DIEs.  This is needed in the new scanner.