> Cool. Here is what I ended up checking in: > > 2008-09-13 Joel Brobecker <brobecker@adacore.com> > > * defs.h (GCC_GENERATED_STDINT_H): Define. And I think I we should no longer need gdb/gstdint.h, now, right? 2008-09-14 Joel Brobecker <brobecker@adacore.com> * gstdint.h: Delete. ? -- Joel