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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1793 FTP_MACHINE=`echo $archive_dest|sed 's/:.*//'`
1798 elif [ -n "$FTP_MACHINE" && -n "$BASE_ARCHIVE_DIR" ] ; then
1809 echo Copying "$1" to "$FTP_MACHINE:$2" >>$PUBLISH_LOGFILE
1811 # Copy everything across (from DISK_MACHINE to FTP_MACHINE)
1812 eval ftp_machine_name=\"'$MACHINE_NAME_'$FTP_MACHINE\" &&
1814 ftp_machine_name="$FTP_MACHINE"
1816 eval ftp_user=\"'$MACHINE_USER_'$FTP_MACHINE\" &&
1832 remote_commands "$FTP_MACHINE" "$BASE_ARCHIVE_DIR" "
1839 # requires: ECLIPSE_VERSION BUILD_NUMBER FTP_MACHINE BASE_ARCHIVE_DIR
1848 if milestone_already_achieved copied_to_ftp_$FTP_MACHINE ; the
[all...]

Completed in 97 milliseconds