diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-27 08:07:39 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-27 08:07:39 +0200 |
commit | bcc21caefb5ec0a88706c428e205cedf6680ddaf (patch) | |
tree | 87e6ef5477ae7dffcc3dccbcea3b2418352c9830 /.download_from_Kalray.sh | |
parent | bc1e43ea95b9455cdccee442db77bc5fafd3dcc6 (diff) | |
download | compcert-kvx-bcc21caefb5ec0a88706c428e205cedf6680ddaf.tar.gz compcert-kvx-bcc21caefb5ec0a88706c428e205cedf6680ddaf.zip |
CI for KVX
Diffstat (limited to '.download_from_Kalray.sh')
-rwxr-xr-x | .download_from_Kalray.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.download_from_Kalray.sh b/.download_from_Kalray.sh new file mode 100755 index 00000000..b82296da --- /dev/null +++ b/.download_from_Kalray.sh @@ -0,0 +1,7 @@ +#!/bin/sh +mkdir download +cd download +sshpass "-p$KALRAY_SFTP_PASSWORD" sftp compcert@ssh.kalray.eu <<EOF +cd files +get DEB.tar +EOF |