From cc758640fc8b6684c319fe43eb76266f1f898f3a Mon Sep 17 00:00:00 2001 From: Christophe Lyon Date: Thu, 20 Dec 2018 15:11:58 +0000 Subject: tcwg-benchmark.sh: Use '22' as default port for ssh:// type of toolchain_url Change-Id: I4217c5c3f2b677f00a8bb43bb56b9044aa1b83ba --- tcwg-benchmark.sh | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'tcwg-benchmark.sh') diff --git a/tcwg-benchmark.sh b/tcwg-benchmark.sh index ee86bf80..0b1e125e 100755 --- a/tcwg-benchmark.sh +++ b/tcwg-benchmark.sh @@ -53,6 +53,12 @@ case "$toolchain_url" in build_container_host="$(echo $build | cut -d: -f 1)" build_container_port="$(echo $build | cut -s -d: -f 2)" ;; + *:*) + # If no port is specified, use 22 (ssh default port) + build=${ccprefix%:*} + build_container_host="$(echo $build | cut -d: -f 1)" + build_container_port=22 + ;; esac if [ "x$build_container_host" = "x" ]; then -- cgit v1.2.3