diff options
| author | DJ Delorie <dj@delorie.com> | 2009-10-19 18:14:23 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@delorie.com> | 2009-10-19 18:14:23 +0000 |
| commit | f3f4d5b85d6f2c410d8935462e463d497f8667ee (patch) | |
| tree | fd56904fc8d622de108ca78cf5c5ecb26af6c787 /include/plugin-api.h | |
| parent | eb36a16a817489c979484e5bb5b92ca63ce20296 (diff) | |
| download | gdb-f3f4d5b85d6f2c410d8935462e463d497f8667ee.tar.gz | |
merge from gcc
Diffstat (limited to 'include/plugin-api.h')
| -rw-r--r-- | include/plugin-api.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/plugin-api.h b/include/plugin-api.h index a026e7a004b..572621fc374 100644 --- a/include/plugin-api.h +++ b/include/plugin-api.h @@ -26,8 +26,16 @@ #ifndef PLUGIN_API_H #define PLUGIN_API_H +#ifdef HAVE_STDINT_H #include <stdint.h> +#elif defined(HAVE_INTTYPES_H) +#include <inttypes.h> +#endif #include <sys/types.h> +#if !defined(HAVE_STDINT_H) && !defined(HAVE_INTTYPES_H) && \ + !defined(UINT64_MAX) && !defined(uint64_t) +#error can not find uint64_t type +#endif #ifdef __cplusplus extern "C" |