A few improvements to run-deploy.sh:
authorWard Vandewege <ward@jhvc.com>
Fri, 20 Mar 2020 21:12:39 +0000 (17:12 -0400)
committerWard Vandewege <ward@jhvc.com>
Fri, 20 Mar 2020 21:12:39 +0000 (17:12 -0400)
commit1918e7df1be616ee87004a41c3806fb5f1470c41
tree0db1f93374eb5bfcb341d2f65ada502e23cbfbd0
parent1106bda308c95f335da1b095fe04fbb56b3fa30c
A few improvements to run-deploy.sh:

* deal with those annoying `Ignoring curb-0.9.10 because its extensions
are not built.  Try: gem pristine curb --version 0.9.10` warnings so we
don't display them, for real this time.

* prefix output of remote commands with the name of the host. That makes
determining which host is having issues easier when run with
--concurrency > 1

refs #16220

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@jhvc.com>
jenkins/run-deploy.sh