On Wed, Nov 06, 2002 at 12:31:49PM -0500, Scott Bambrough wrote: > I'm running RedHat 7.3 i386, and using dejagnu 1.4.2-3 on the head of > the CVS tree, updated this morning. Does anyone else have this problem? This was a reported bug in DejaGNU 1.4.2. -- Daniel Jacobowitz MontaVista Software Debian GNU/Linux Developer