On Sat, Aug 05, 2006 at 04:56:41PM +0100, James Youngman wrote: > To work around this problem, you just need to apply this patch to DejaGnu:-
Which was applied to DejaGNU CVS in 2004, and is now in Debian unstable (there hasn't been a release since then). -- Daniel Jacobowitz CodeSourcery -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
