[patch] Use GCC_HEADER_STDINT instead of stdint.h

[Ian Lance Taylor]

Rafael Espindola <espindola@google.com> writes:

> Index: include/plugin-api.h
> ===================================================================
> --- include/plugin-api.h	(revision 152706)
> +++ include/plugin-api.h	(working copy)
> @@ -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"
> Index: lto-plugin/configure.ac
> ===================================================================
> --- lto-plugin/configure.ac	(revision 152706)
> +++ lto-plugin/configure.ac	(working copy)
> @@ -7,6 +7,7 @@
>  AC_ARG_VAR(LIBELFINC,[How to find libelf include files])
>  AM_PROG_LIBTOOL
>  AC_SUBST(target_noncanonical)
> +AC_TYPE_UINT64_T
>  AC_CONFIG_FILES(Makefile)
>  AC_OUTPUT
>  AC_SYS_LARGEFILE


This patch is OK with a ChangeLog entry.

Thanks.

Ian