> > I can rework a little the comment, but what do you think of the idea?
> > I think it's similar to your suggestion, except that the knowledge is
> > kept on the "client" side rather than the library side.
> 
> In my opinion, this patch would be fine.

Cool. Here is what I ended up checking in:

2008-09-13  Joel Brobecker  <brobecker@adacore.com>

        * defs.h (GCC_GENERATED_STDINT_H): Define.

Tested on x86-linux. Also verified that GDB builds when configured
in-tree on Tru64.

Thank you!
-- 
Joel