remove delayed reset option (for now)

This commit is contained in:
Daan Leijen 2019-11-20 14:13:02 -08:00
parent 56b9fac4bf
commit 30e2c54adb
4 changed files with 142 additions and 240 deletions

View file

@ -273,7 +273,7 @@ typedef enum mi_option_e {
mi_option_page_reset,
mi_option_segment_reset,
mi_option_eager_commit_delay,
mi_option_reset_delay,
mi_option_reset_decommits,
mi_option_use_numa_nodes,
mi_option_os_tag,
mi_option_max_errors,