Mark Kettenis wrote:
Even though I was sure about that one, I just discovered there is
another pattern that should be caught. Here's a patch that adds the
missing one.
Thanks, I checked in the latest version.
- rob -
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu