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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1250 # Out: $remote_prefix $is_remote_machine
1252 rsync_out() { # ($machine, $arch -> $is_remote_machine, $remote_prefix)
1260 eval remote_prefix=\"'$ROTD_DIR_'$machine\"
1261 rsync_prefix=`rsync_path $remote_prefix`
1272 remote_commands "$machine" "$remote_prefix/$ROTD_SUBDIR" "
1281 remote_prefix="$PREFIX"
1296 eval remote_prefix=\"'$ROTD_DIR_'$machine\"
1297 rsync_prefix=`rsync_path $remote_prefix`
1319 rsync_out || return 1 # ($machine, $arch -> $remote_prefix)
1321 standalone_binary="$remote_prefix/
[all...]

Completed in 67 milliseconds