diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-27 08:24:50 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-27 08:24:50 +0200 |
| commit | aa6f270bfc3e9a5ea2c7c02aa98da7fc58342816 (patch) | |
| tree | a149f85032383a35ec52aff97664734489738ec9 /.download_from_Kalray.sh | |
| parent | 5a2ecdbcd830dda85692316a101a38862f535011 (diff) | |
| download | compcert-kvx-aa6f270bfc3e9a5ea2c7c02aa98da7fc58342816.tar.gz compcert-kvx-aa6f270bfc3e9a5ea2c7c02aa98da7fc58342816.zip | |
download/untar from Kalray
Diffstat (limited to '.download_from_Kalray.sh')
| -rwxr-xr-x | .download_from_Kalray.sh | 3 |
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 |