Searched refs:ftp_user (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/ | ||
| H A D | BUILD_ROTD | 1816 eval ftp_user=\"'$MACHINE_USER_'$FTP_MACHINE\" && 1817 if [ "$ftp_user" = "" ] ; then 1820 ftp_user_flags="-l $ftp_user" |
Completed in 44 milliseconds