Searched refs:ftp_machine_name (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1812 eval ftp_machine_name=\"'$MACHINE_NAME_'$FTP_MACHINE\" &&
1813 if [ "$ftp_machine_name" = "" ] ; then
1814 ftp_machine_name="$FTP_MACHINE"
1825 #rsync -aR --rsh=ssh $1 $ftp_machine_name:$2
1827 ssh $ftp_user_flags $ftp_machine_name \

Completed in 35 milliseconds