Hi. Not sure what I personally think of the usrmove, but there is no point in being un-accommodating. I'll apply this, thanks.
Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
