Re: dejagnu

Andrew Cagney
2002-11-21T04:37:25Z

> 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