diff options
| author | Michael Bien <[email protected]> | 2010-05-31 19:51:46 +0200 |
|---|---|---|
| committer | Michael Bien <[email protected]> | 2010-05-31 19:51:46 +0200 |
| commit | c5b1dc47f398597a127ebb7cdf72ab324b08a174 (patch) | |
| tree | 690599a569f5f5a78f190eff45e414b4574759fd /resources/stubs_includes | |
| parent | 8a5bbd80a3ffc3154b637e0b6c40342dfacb3576 (diff) | |
changes due to gluegen size_t fix. Switched back to PointerBuffer. 32bit systems are now supported again.
Diffstat (limited to 'resources/stubs_includes')
| -rw-r--r-- | resources/stubs_includes/common/stddef.h | 5 | ||||
| -rw-r--r-- | resources/stubs_includes/common/stdint.h | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/resources/stubs_includes/common/stddef.h b/resources/stubs_includes/common/stddef.h index da2325af..c05f1d44 100644 --- a/resources/stubs_includes/common/stddef.h +++ b/resources/stubs_includes/common/stddef.h @@ -1,3 +1,4 @@ + #if defined(_WIN64) typedef __int64 ptrdiff_t; #elif defined(__ia64__) || defined(__x86_64__) @@ -7,4 +8,6 @@ #endif #define NULL ((void *)0) - typedef int wchar_t; + +typedef int wchar_t; +typedef unsigned long size_t;
\ No newline at end of file diff --git a/resources/stubs_includes/common/stdint.h b/resources/stubs_includes/common/stdint.h index 5c2a4a2e..d6a5dd23 100644 --- a/resources/stubs_includes/common/stdint.h +++ b/resources/stubs_includes/common/stdint.h @@ -18,8 +18,6 @@ typedef long intptr_t; typedef unsigned long uintptr_t; - typedef unsigned long size_t; - /* Greatest-width integer types */ /* Modern GCCs provide __INTMAX_TYPE__ */ #if defined(__INTMAX_TYPE__) |