diff options
Diffstat (limited to 'db_stress_tool/db_stress_gflags.cc')
| -rw-r--r-- | db_stress_tool/db_stress_gflags.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/db_stress_tool/db_stress_gflags.cc b/db_stress_tool/db_stress_gflags.cc index bb2d9d453..c23a163a8 100644 --- a/db_stress_tool/db_stress_gflags.cc +++ b/db_stress_tool/db_stress_gflags.cc @@ -993,6 +993,10 @@ DEFINE_bool(write_dbid_to_manifest, ROCKSDB_NAMESPACE::Options().write_dbid_to_manifest, "Write DB_ID to manifest"); +DEFINE_bool(write_identity_file, + ROCKSDB_NAMESPACE::Options().write_identity_file, + "Write DB_ID to IDENTITY file"); + DEFINE_bool(avoid_flush_during_recovery, ROCKSDB_NAMESPACE::Options().avoid_flush_during_recovery, "Avoid flush during recovery"); |