This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Use GCC_HEADER_STDINT instead of stdint.h
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,17 @@
> #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
> +#include <sys/types.h>
The last line is a duplicate.
Andreas.
--
Andreas Schwab, schwab@redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E
"And now for something completely different."