Hi. > set_board_info rsh_prog /usr/bin/ssh > set_board_info rcp_prog /usr/bin/scp > set_board_info connect rsh
This is how I do it, and it works for me. Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
