diff options
author | David Spickett <david.spickett@linaro.org> | 2020-04-17 10:11:05 +0100 |
---|---|---|
committer | David Spickett <david.spickett@linaro.org> | 2020-04-17 13:14:27 +0000 |
commit | a0e4a3728526c912c94729b874fcdd4ae9753c84 (patch) | |
tree | cd5861b6e0fda0b4d2585e6bcd8bf9e7c25acb5a /start-container-docker.sh | |
parent | 9870685df5ce0e2690f0632d50acb05393e13b7c (diff) |
tcwg-benchmark.sh: Minor fixes
* Dedupe getting hostname for ssh
toolchain URLs
* Check toolchain type earlier
* Error if SSH doesn't respond after reboot
(and change the other uses of
wait_for_ssh_server to follow the same format)
Change-Id: Ib7823e5a83500e0d95912ef0d3ba993051a67533
Diffstat (limited to 'start-container-docker.sh')
-rwxr-xr-x | start-container-docker.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/start-container-docker.sh b/start-container-docker.sh index 6c496f9c..3892f999 100755 --- a/start-container-docker.sh +++ b/start-container-docker.sh @@ -340,9 +340,9 @@ session_port=$($DOCKER port $session_id 22 | cut -d: -f 2) || ssh_error $? ret=0 $dryruncmd wait_for_ssh_server ${user}$session_host $session_port || ret=$? -if [ $ret -eq 1 ]; then +if [ $ret != 0 ]; then echo SSH server did not respond, exiting - exit 1 + exit $ret fi # For CI builds make sure to kill previous build, which might have been |