Your proposed solution seems fine. Please send a fully documented patch and I'll review it.
Cheers, Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
