From 30dd2b9bec6d7e5fe67c80d77dfaa06d09993348 Mon Sep 17 00:00:00 2001 From: Daan Leijen Date: Fri, 3 Jan 2025 18:10:37 -0800 Subject: [PATCH] allow large OS pages on Linux by default (but not on Android) --- src/options.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/options.c b/src/options.c index 2850511f..ed75e8ca 100644 --- a/src/options.c +++ b/src/options.c @@ -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