diff options
Diffstat (limited to 'scripts/osmocom-api-doxygen.sh')
-rwxr-xr-x | scripts/osmocom-api-doxygen.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/osmocom-api-doxygen.sh b/scripts/osmocom-api-doxygen.sh index 765b7fb..cfa5e61 100755 --- a/scripts/osmocom-api-doxygen.sh +++ b/scripts/osmocom-api-doxygen.sh @@ -1,4 +1,6 @@ #!/bin/sh -ex +SSH_CMD="ssh -o UserKnownHostsFile=/build/contrib/known_hosts -p 48" + # Repositories for which doxygen documentation will be generated and # uploaded, also dependencies which need to be built repos_api=" @@ -13,6 +15,9 @@ repos_api=" # Source common.sh from osmo-ci.git for osmo_git_clone_url() . scripts/common.sh +# Check early that SSH works +$SSH_CMD api@ftp.osmocom.org -T -- true + # Put git repos and install data in a subdir, so it isn't in the root # of the cloned osmo-ci.git repository mkdir _osmocom_api @@ -45,7 +50,7 @@ for i in $repos_api; do rsync \ -avz \ --delete \ - -e "ssh -o UserKnownHostsFile=/build/contrib/known_hosts -p 48" \ + -e "$SSH_CMD" \ ./"$i"/doc/ \ api@ftp.osmocom.org:web-files/latest/"$i"/ done |