Hi. This patch generally looks OK. At a minimum, the existence of this "test_timeout" variable must be documented. Please update the docs.
Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
