> OK to commit?
> 
> (d10v boards and sims are now capable of sending stdout to gdb)
> 
> 2002-06-07  Michael Snyder  <msnyder@redhat.com>
> 
> 	* baseboards/d10v.exp: Inferior I/O no longer needs to be
> 	disabled.
> 
Michael,

the main thing to do is to ensure that the patch is pushed up stream to 
the official maintainer:

dejagnu/
         Send all patches to:
         http://www.gnu.org/software/dejagnu/
         mail:bug-dejagnu@gnu.org
         For changes to the local repostory, send them to
         gdb-patches@sources.redhat.com when generic; and sid@,
         binutils@, gcc@, etc. for sub-components.

Once that is done, the local commit is fine.

Andrew