fix for the memory allocation in the jitter which should work for Windows.

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");
 	}