diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 88841651..992d31c6 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -727,6 +727,7 @@ check_nodes_are_up() { remote_build() { local BUILDNR=$1 local NODE=$2 + log_info "Preparing to do remote build '$BUILDNR' on $NODE." get_node_ssh_port $NODE # sleep 15min if first node is down # but 1h if the 2nd node is down |