From d2324f1c2a6a8471fcf00623911234fa6e60d143 Mon Sep 17 00:00:00 2001 From: daan Date: Mon, 19 Aug 2019 11:17:00 -0700 Subject: [PATCH] always check large_os_pages enabled option so it can be changed during the running of the program --- src/os.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/os.c b/src/os.c index 6c2a18dd..506e1e6d 100644 --- a/src/os.c +++ b/src/os.c @@ -70,7 +70,7 @@ size_t _mi_os_large_page_size() { static bool use_large_os_page(size_t size, size_t alignment) { // if we have access, check the size and alignment requirements - if (large_os_page_size == 0) return false; + if (large_os_page_size == 0 || !mi_option_is_enabled(mi_option_large_os_pages)) return false; return ((size % large_os_page_size) == 0 && (alignment % large_os_page_size) == 0); }