diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2022-05-18 16:35:35 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2022-05-18 16:35:35 +0000 |
| commit | ee9ba1ae3a97b190479c0180c6c07430e907d294 (patch) | |
| tree | 27ce11d269aa5121078501c2289deefb9ba17f7a | |
| parent | e7921f4e28226654f7cf1d5c96c9bd13da321dff (diff) | |
run.sh: Don't assume "22" is the default ssh port
... now that we are using "host" containers for benchmarking,
which runs sshd on port 2222.
Change-Id: I86a9f9039f047e28fde267da2013fe9339b24c03
| -rwxr-xr-x | run.sh | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -265,10 +265,9 @@ if [ x"$sysroot" != x"" ]; then sysroot_dir=${sysroot##*:} sysroot_host="$(echo $sysroot_remote | cut -d: -f 1)" sysroot_port="$(echo $sysroot_remote | cut -s -d: -f 2)" - # If no port is specified, use 22 (ssh default port) - [ x"$sysroot_port" = x ] && sysroot_port=22 - rsync -a --delete -e "ssh -p$sysroot_port" "$sysroot_host:$sysroot_dir/" "$HOME/sysroot/" + rsync -a --del -e "ssh ${sysroot_port:+-p$sysroot_port}" \ + "$sysroot_host:$sysroot_dir/" "$HOME/sysroot/" sysroot_opt="--sysroot $HOME/sysroot" else sysroot_opt="" |