From aa6f270bfc3e9a5ea2c7c02aa98da7fc58342816 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 27 May 2020 08:24:50 +0200
Subject: download/untar from Kalray

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

(limited to '.download_from_Kalray.sh')

diff --git a/.download_from_Kalray.sh b/.download_from_Kalray.sh
index 5e7dee24..a7f28d5a 100755
--- a/.download_from_Kalray.sh
+++ b/.download_from_Kalray.sh
@@ -1,7 +1,8 @@
 #!/bin/sh
 mkdir download
 cd download
-sshpass "-p$KALRAY_SFTP_PASSWORD" sftp -v -o "StrictHostKeyChecking=no" compcert@ssh.kalray.eu <<EOF
+sshpass "-p$KALRAY_SFTP_PASSWORD" sftp -o "StrictHostKeyChecking=no" compcert@ssh.kalray.eu <<EOF
 cd files
 get DEB.tar
 EOF
+tar xf DEB.tar
-- 
cgit