------- Comment #4 from bkoz at gcc dot gnu dot org 2008-04-15 19:21 -------
Sorry about the delay folks. Trying to track down some config issues, and so far failing to get a local xcompiler up so I can test locally a config w/o stdint.h provided. Goal is to use GCC_HEADER_STDINT(gstdint.h) to construct a stdint.h that works when stdint.h is not found. When stdint.h is found, do nothing. -benjamin -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35915
