diff options
author | jkoan <jkoan@users.noreply.github.com> | 2018-03-15 21:31:32 +0100 |
---|---|---|
committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2018-03-15 13:31:32 -0700 |
commit | 91c5637b320469dda4c1d0ff2ef045359df22b6e (patch) | |
tree | d0e3904126c341cac6f93cb282e49f3a445a5c61 | |
parent | e88c94ca1a2664b39c1ba378590f16d1f7806bc9 (diff) | |
download | navit-91c5637b320469dda4c1d0ff2ef045359df22b6e.tar.gz |
fix:build:Fix keyscan for wince (#410)
-rw-r--r-- | ci/update_download_center.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/update_download_center.sh b/ci/update_download_center.sh index 28ea82c2e..34d4a95de 100644 --- a/ci/update_download_center.sh +++ b/ci/update_download_center.sh @@ -59,7 +59,7 @@ echo "Init Git Repo" export GIT_TERMINAL_PROMPT=0 cd $TMP_DIR mkdir -p ~/.ssh/ -ssh-keyscan github.com >> ~/.ssh/known_hosts +ssh-keyscan -t rsa github.com >> ~/.ssh/known_hosts git clone $NAVIT_DOWNLOAD_CENTER_REPO $UUID if [ ! -d $UUID/_data/$JOB_NAME ]; then mkdir -p $UUID/_data/$JOB_NAME |