From ac313f65cd88704ec3229e70fcf91846f34253e8 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 30 Sep 2021 14:12:36 +0200 Subject: be verbose! --- .download_from_Kalray.sh | 2 +- .gitlab-ci.yml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.download_from_Kalray.sh b/.download_from_Kalray.sh index f35c654a..ad971c56 100755 --- a/.download_from_Kalray.sh +++ b/.download_from_Kalray.sh @@ -9,7 +9,7 @@ cd download VERSION=ACE4.6.0 FILE=$VERSION.tgz DEBPATH=$VERSION/ACE-acceleration/ubuntu1804/tools/DEB -sshpass "-p$KALRAY_SFTP_PASSWORD" rsync -e 'ssh -o "StrictHostKeyChecking=no"' --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz . +sshpass "-p$KALRAY_SFTP_PASSWORD" rsync -e 'ssh -vvv -o "StrictHostKeyChecking=no"' --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz . tar xvfz $FILE $DEBPATH/ mv $DEBPATH/*.deb . rm -rf $VERSION diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9534282d..0616fa9a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -268,12 +268,12 @@ build_kvx: stage: build image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda before_script: - - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace libzip4 - ./.download_from_Kalray.sh - (cd download ; rm -f *dkms*.deb *eclipse*.deb *llvm*.deb *board-mgmt* *oce-host* *pocl* *flash-util* *barebox* *-kann-* *-kaf-* *-stb-* *-opencv* *-eigen* *-task* *-blis* *-lz4*) - sudo dpkg -i download/*.deb - rm -rf download + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update + - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace libzip4 - eval `opam config env` - opam update - opam install -y menhir -- cgit