merge from dev

This commit is contained in:
Daan Leijen 2021-10-19 15:13:53 -07:00
commit d4397ce16c
4 changed files with 10 additions and 5 deletions

View file

@ -526,7 +526,9 @@ void mi_process_init(void) mi_attr_noexcept {
}
if (mi_option_is_enabled(mi_option_reserve_os_memory)) {
long ksize = mi_option_get(mi_option_reserve_os_memory);
if (ksize > 0) mi_reserve_os_memory((size_t)ksize*KiB, true /* commit? */, true /* allow large pages? */);
if (ksize > 0) {
mi_reserve_os_memory((size_t)ksize*KiB, true /* commit? */, true /* allow large pages? */);
}
}
}