Is it possible to add this feature to the next release of dejagnu? Or if not, is there any simple fix (maybe file lib/target.exp) ?
<javascript:void(0);>
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
