update order of options; make eager_region_commit 0 on windows by default

This commit is contained in:
daan 2019-08-10 15:44:55 -07:00
parent 2fee6f98d7
commit 74a5c17178
2 changed files with 19 additions and 14 deletions

View file

@ -224,14 +224,14 @@ typedef enum mi_option_e {
mi_option_show_errors,
mi_option_verbose,
// the following options are experimental
mi_option_page_reset,
mi_option_cache_reset,
mi_option_secure,
mi_option_eager_commit,
mi_option_eager_region_commit,
mi_option_large_os_pages, // implies eager commit
mi_option_page_reset,
mi_option_cache_reset,
mi_option_reset_decommits,
mi_option_reset_discards,
mi_option_secure,
_mi_option_last
} mi_option_t;