From 46aceb12d590bfb46b5f4d78212a787446356163 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sun, 29 Oct 2023 21:04:42 +0100 Subject: [PATCH] starpu: fix url for 1.3 [ci-skip] --- tools/jenkins/ci-starpu.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/jenkins/ci-starpu.sh b/tools/jenkins/ci-starpu.sh index d1e2ef0ce4..9c8ac07d1f 100755 --- a/tools/jenkins/ci-starpu.sh +++ b/tools/jenkins/ci-starpu.sh @@ -9,10 +9,10 @@ set -ex export SUDO="" echo "XXXXXXXXXXXXXXXX Install APT dependencies" -$SUDO apt-get update -$SUDO apt-get -y install build-essential libboost-all-dev wget git xsltproc +#$SUDO apt-get update +#$SUDO apt-get -y install build-essential libboost-all-dev wget git xsltproc -for i in master 1.3 ; do +for i in master starpu-1.3 ; do echo "XXXXXXXXXXXXXXXX Build and test StarPU $i" rm -rf starpu* wget https://files.inria.fr/starpu/testing/$i/starpu-nightly-latest.tar.gz -- 2.20.1