remove on-demand page commit option

This commit is contained in:
daan 2020-04-30 18:23:33 -07:00
parent d8b0a9dc24
commit 5cfdc39ff1
3 changed files with 13 additions and 32 deletions

View file

@ -308,8 +308,7 @@ typedef enum mi_option_e {
mi_option_use_numa_nodes,
mi_option_os_tag,
mi_option_max_errors,
_mi_option_last,
mi_option_eager_page_commit = mi_option_eager_commit
_mi_option_last
} mi_option_t;