tree f54a1c96c42743a1e02ee53d5910d592bd4c4ebd
parent cd11325af9b89021696810e0de92ef1c2c9212ae
author Jeff Brown <jeffbrown@google.com> 1320812225 -0800
committer Jeff Brown <jeffbrown@google.com> 1320812248 -0800

Print the tombstone path.

When explicitly requesting a dump, show the user the path of
the tombstone file that was generated.

Change-Id: I7fff7dea606872a61687ca087e99f604107b70c4