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 ++-
 .gitlab-ci.yml           | 2 +-
 2 files changed, 3 insertions(+), 2 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
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9db98cdd..8d12406a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -227,7 +227,7 @@ build_kvx:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install sshpass openssh-client
     - ./.download_from_Kalray.sh
-    - rm download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb
+    - rm -f download/*dkms*.deb download/*eclipse*.deb download/*llvm*.deb
     - sudo dpkg -i download/*.deb
     - rm -rf download
     - opam switch 4.07.1+flambda
-- 
cgit