Merge branch 'dev' into dev2

This commit is contained in:
Daan Leijen
2025-01-03 18:10:56 -08:00

View File

@@ -79,7 +79,11 @@ typedef struct mi_option_desc_s {
#endif
#ifndef MI_DEFAULT_ALLOW_LARGE_OS_PAGES
#if defined(__linux__) && !defined(__ANDROID__)
#define MI_DEFAULT_ALLOW_LARGE_OS_PAGES 1
#else
#define MI_DEFAULT_ALLOW_LARGE_OS_PAGES 0
#endif
#endif
#ifndef MI_DEFAULT_RESERVE_HUGE_OS_PAGES