diff options
Diffstat (limited to 'make/stub_includes/common/stdint.h')
| -rw-r--r-- | make/stub_includes/common/stdint.h | 24 |
1 files changed, 7 insertions, 17 deletions
diff --git a/make/stub_includes/common/stdint.h b/make/stub_includes/common/stdint.h index 65e7fc22c..dd03d2d1e 100644 --- a/make/stub_includes/common/stdint.h +++ b/make/stub_includes/common/stdint.h @@ -1,17 +1,7 @@ -#if defined(_WIN32) - #error windows does not support stdint.h - // typedef signed __int32 int32_t; - // typedef unsigned __int32 uint32_t; - // typedef signed __int64 int64_t; - // typedef unsigned __int64 uint64_t; -#else - typedef signed int int32_t; - typedef unsigned int uint32_t; - #if defined(__ia64__) || defined(__x86_64__) - typedef signed long int int64_t; - typedef unsigned long int uint64_t; - #else - typedef signed long long int int64_t; - typedef unsigned long long int uint64_t; - #endif -#endif +#ifndef __stdint_h +#define __stdint_h + +#include <gluegen_types.h> + +#endif /* __stdint_h */ + |