> I'll ask the opposite question. Can we just put stdint.h in defs.h > now? It's clear that gdb_stdint.h works everywhere; there's also a > stdint.h in our build tree provided by gnulib if the system lacks its > own. I don't see why not... Should we drop gdb_stdint.h and use stdint.h directly, then? -- Joel