aboutsummaryrefslogtreecommitdiffstats
path: root/.download_from_Kalray.sh
diff options
context:
space:
mode:
authorDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-28 13:31:51 +0200
committerDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-28 13:31:51 +0200
commitb4a97125d95dfe1bfe9ebe74f4d605e589392f25 (patch)
tree83c07ad84490e02d1b49b5f3715bb6b902028ae6 /.download_from_Kalray.sh
parentb4605fae9b00c979d01797137135d4f6b2d7a5e3 (diff)
downloadcompcert-kvx-b4a97125d95dfe1bfe9ebe74f4d605e589392f25.tar.gz
compcert-kvx-b4a97125d95dfe1bfe9ebe74f4d605e589392f25.zip
some more attempt, fix ssh
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 563a5cad..f35c654a 100755
--- a/.download_from_Kalray.sh
+++ b/.download_from_Kalray.sh
@@ -9,7 +9,7 @@ cd download
VERSION=ACE4.6.0
FILE=$VERSION.tgz
DEBPATH=$VERSION/ACE-acceleration/ubuntu1804/tools/DEB
-sshpass "-p$KALRAY_SFTP_PASSWORD" rsync --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz .
+sshpass "-p$KALRAY_SFTP_PASSWORD" rsync -e 'ssh -o "StrictHostKeyChecking=no"' --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz .
tar xvfz $FILE $DEBPATH/
mv $DEBPATH/*.deb .
rm -rf $VERSION