starpu: fix url for 1.3 [ci-skip]

diff --git a/tools/jenkins/ci-starpu.sh b/tools/jenkins/ci-starpu.sh
index d1e2ef0..9c8ac07 100755 (executable)
--- 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