On 07/17/2011 05:28 AM, Ben Elliston wrote:
Hi Jasonhttp://lists.gnu.org/archive/html/dejagnu/2002-10/msg00007.html Any chance this patch could get applied?I take it things work fine when the patch is applied?
I haven't actually tried it, worked around the issue instead. I'll try to test it soon if that would help.
Jason _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
