diff options
Diffstat (limited to 'jenkins-helpers.sh')
| -rw-r--r-- | jenkins-helpers.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 7335d51f..11fc01a4 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -712,6 +712,7 @@ print_bind_mounts () ( set -euf -o pipefail local task="$1" + local ssh="$2" local -a bind_mounts case $task in build) @@ -728,7 +729,7 @@ print_bind_mounts () esac local key - for key in /etc/ssh/ssh_host_*_key{,.pub}; do + for key in $($ssh "ls /etc/ssh/ssh_host_*_key{,.pub}"); do bind_mounts+=("$key:ro") done |