#!/bin/sh
mkdir download
cd download
sshpass "-p$KALRAY_SFTP_PASSWORD" sftp compcert@ssh.kalray.eu <<EOF
cd files
get DEB.tar
EOF