[Bug-dejagnu] DejaGnu 1.4.1 fix

[Rob Savoye]

On Wed, Sep 12, 2001 at 04:38:36PM +0200, Gerald Pfeifer wrote:
> Rob, please find below a patch that fixes a problem in DejaGnu 1.4.1.
> (Apparently this fix is in Red Hat's package, but not in the CVS sources
> of DejaGnu.)

  Which CVS sources ? This has been fixed for ages in the official CVS
repository at gnu.org. Maybe it's just the one at sources.redhat.com that
is missing this fix.

  I guess I should push out a 1.4.2 release with this fix in it, and a few
others. (like the bugs in the unit.cc test case)

	- rob -