aboutsummaryrefslogtreecommitdiffstats
path: root/.download_from_Kalray.sh
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-05-27 08:12:16 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-05-27 08:12:16 +0200
commit5a2ecdbcd830dda85692316a101a38862f535011 (patch)
tree76363776a31a999ea49e867e1922902fc0b61ef2 /.download_from_Kalray.sh
parentbcc21caefb5ec0a88706c428e205cedf6680ddaf (diff)
downloadcompcert-kvx-5a2ecdbcd830dda85692316a101a38862f535011.tar.gz
compcert-kvx-5a2ecdbcd830dda85692316a101a38862f535011.zip
strict key checking off
Diffstat (limited to '.download_from_Kalray.sh')
-rwxr-xr-x.download_from_Kalray.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.download_from_Kalray.sh b/.download_from_Kalray.sh
index b82296da..5e7dee24 100755
--- a/.download_from_Kalray.sh
+++ b/.download_from_Kalray.sh
@@ -1,7 +1,7 @@
#!/bin/sh
mkdir download
cd download
-sshpass "-p$KALRAY_SFTP_PASSWORD" sftp compcert@ssh.kalray.eu <<EOF
+sshpass "-p$KALRAY_SFTP_PASSWORD" sftp -v -o "StrictHostKeyChecking=no" compcert@ssh.kalray.eu <<EOF
cd files
get DEB.tar
EOF