diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-09-02 13:17:54 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-09-02 13:17:54 +0000 |
commit | 91baa4479621ba85d473dc0148dee8138a0f51c9 (patch) | |
tree | 4bc147630a67f93e29b320d731e5bba0739dcfaf /jenkins-helpers.sh | |
parent | 16aa44a1bceba98dbe211b9088ca0611d4ed32e1 (diff) |
jenkins-helpers.sh: Fix print_bind_mounts()
... by looking at the right filesystem.
Change-Id: I42e3a5d942b469e983a84e09fc7a11856b81abde
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 |