> > 2009-05-06  Joel Brobecker  <brobecker@adacore.com>
> > 
> >         * gdbarch.h (target_gdbarch): Add comment documenting this global.
> 
> Oops, I didn't notice that you're changing gdbarch.h directly.
> This is a generated file; you should be changing gdbarch.sh
> instead and regnerate the header file ...

(head shaking) This is really a rookie mistake. I can't believe I wasn't
paying more attention. Sorry about that!!!

Fixed thusly:

2009-05-14  Joel Brobecker  <brobecker@adacore.com>

        * gdbarch.sh: Add comment documenting the target_gdbarch global.
        gdbarch.h does NOT need to be regenerated as the corresponding
        change has already been made in a previous commit.

As explained in the ChangeLog, I reran gdbarch.sh, and it generated
the exact same files.

Checked in.

-- 
Joel

PS: I'll review your Ada patches tomorrow morning (it's getting
    too late for me, now). But thanks much for sending them.