diff options
-rwxr-xr-x | tcwg-benchmark.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tcwg-benchmark.sh b/tcwg-benchmark.sh index ffbe9d9b..96d1bbf4 100755 --- a/tcwg-benchmark.sh +++ b/tcwg-benchmark.sh @@ -79,6 +79,10 @@ esac case "$toolchain_url" in "http://"*|"https://"*|"rsync://"*) ccpath=$(find "$toolchaindir" -name "*-gcc") + if [ $(echo "$ccpath" | wc -w) -ne 1 ]; then + echo "ERROR: found more than one compiler: $ccpath" + exit 1 + fi ccprefix=$(echo "$ccpath" | sed -e 's/-gcc$/-/') # Copy toolchain to the build container. rsync -a --delete -e "ssh -p$build_container_port" "$toolchaindir/" "$build_container_host:$toolchaindir/" |