[thin_dump] --skip-mappings

This commit is contained in:
Joe Thornber
2016-03-22 15:01:37 +00:00
parent ad4fd30a27
commit 4370f048c0
4 changed files with 14 additions and 3 deletions

View File

@@ -195,7 +195,8 @@ namespace {
d.snapshotted_time_);
try {
emit_mappings(tree_root);
if (!opts_.skip_mappings_)
emit_mappings(tree_root);
} catch (exception &e) {
cerr << e.what();
e_->end_device();