diff options
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/c/pgf/jit.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c index a74fb9e40..250b5a3a6 100644 --- a/src/runtime/c/pgf/jit.c +++ b/src/runtime/c/pgf/jit.c @@ -48,10 +48,12 @@ pgf_jit_alloc_page(PgfJitState* state) size_t page_size = getpagesize(); -#ifndef ANDROID - if (posix_memalign(&page, page_size, page_size) != 0) { +#if defined(ANDROID) + if ((page = memalign(page_size, page_size)) == NULL) { +#elif defined(__MINGW32__) + if ((page = malloc(page_size)) == NULL) { #else - if ((page = memalign(page_size, page_size)) == NULL) { + if (posix_memalign(&page, page_size, page_size) != 0) { #endif gu_fatal("Memory allocation failed"); } |