From 5a2ecdbcd830dda85692316a101a38862f535011 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 27 May 2020 08:12:16 +0200
Subject: strict key checking off

---
 .download_from_Kalray.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.download_from_Kalray.sh')

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
-- 
cgit