aboutsummaryrefslogtreecommitdiffstats
path: root/.download_from_Kalray.sh
diff options
context:
space:
mode:
authorDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-10-01 22:35:39 +0200
committerDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-10-01 22:35:39 +0200
commit258c51af66c08f10453639b4f0629b51661a1a64 (patch)
treeb3bc11677b5ec33ac0c577246982013d28540fc0 /.download_from_Kalray.sh
parentf5a861160810595e42fe44084acad489deb08bf6 (diff)
downloadcompcert-kvx-258c51af66c08f10453639b4f0629b51661a1a64.tar.gz
compcert-kvx-258c51af66c08f10453639b4f0629b51661a1a64.zip
more connection attempt
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 0ccb9353..16b7190f 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 -e 'ssh -v -o "StrictHostKeyChecking=no"' --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz .
+sshpass "-p$KALRAY_SFTP_PASSWORD" rsync -e 'ssh -v -o "ConnectionAttempts=10" -o "StrictHostKeyChecking=no"' --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz .
tar xvfz $FILE $DEBPATH/
mv $DEBPATH/*.deb .
rm -rf $VERSION