> This change has caused the following change in generated gdb/configure which > is currently not checked in. > > Assuming it is OK to update gdb/configure. Yes, of course. Regenerating the configure script can be considered obvious, particularly in this case. Thanks for spotting this, Jan. -- Joel