Please ignore my previous patch. Thanks to a typo, I didn't notice it wasn't working. This one does, really!
Are you sure ? I hope so, cause I just checked this in. :-)
- rob -
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
