dejagnu

[Andrew Cagney]

> where does gdb get dejagnu?
> I have recently placed an xml patch in dejagnu, and I am not seeing it
> when I do a toolchain build.
> -matt bemis

As a convenience, the GDB repository also includes a version of dejagnu. 
   However, if you only check out the `gdb' module (instead of the 
gdb+dejagnu module) or even simply rename the dejagnu directory, the 
installed version with the xml patches will be used.

Someone might even do a re-sync.

Andrew