diff options
| author | krasimir <krasimir@chalmers.se> | 2015-04-20 09:57:28 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-04-20 09:57:28 +0000 |
| commit | 5d7633fdb49e1460079642b41c46d454d4160c69 (patch) | |
| tree | 37ccbb90e1d4248ed2153644b589920117c5e0fc /src/runtime/c/pgf | |
| parent | aebc868c229142c564b3f4d2999ba429d81dcb1c (diff) | |
added getpagesize() definition for Windows
Diffstat (limited to 'src/runtime/c/pgf')
| -rw-r--r-- | src/runtime/c/pgf/jit.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c index 715fb26a9..393cf67d4 100644 --- a/src/runtime/c/pgf/jit.c +++ b/src/runtime/c/pgf/jit.c @@ -41,6 +41,19 @@ typedef struct { #define JIT_VSTATE JIT_V1 #define JIT_VCLOS JIT_V2 +#if defined(__MINGW32__) +#include <windows.h> + +static int +getpagesize() +{ + SYSTEM_INFO system_info; + GetSystemInfo(&system_info); + return system_info.dwPageSize; +} +#endif + + static void pgf_jit_finalize_page(GuFinalizer* self) { |