merge from dev-exp

This commit is contained in:
daan 2019-11-03 13:37:03 -08:00
commit 2b005addd3
8 changed files with 117 additions and 62 deletions

View file

@ -277,6 +277,7 @@ typedef enum mi_option_e {
mi_option_segment_reset,
mi_option_os_tag,
mi_option_max_numa_node,
mi_option_max_errors,
_mi_option_last
} mi_option_t;