aboutsummaryrefslogtreecommitdiffstats
path: root/.download_from_Kalray.sh
diff options
context:
space:
mode:
Diffstat (limited to '.download_from_Kalray.sh')
-rwxr-xr-x.download_from_Kalray.sh3
1 files changed, 2 insertions, 1 deletions
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