Merge branch 'xsltproc' into 'master'

Add missing xsltproc dependency for starpu-mpi

See merge request simgrid/simgrid!86

diff --git a/tools/jenkins/ci-starpu.sh b/tools/jenkins/ci-starpu.sh
index fe95cc9..ece7a08 100755 (executable)
--- a/tools/jenkins/ci-starpu.sh
+++ b/tools/jenkins/ci-starpu.sh
@@ -10,7 +10,7 @@ export SUDO=""
 
 echo "XXXXXXXXXXXXXXXX Install APT dependencies"
 $SUDO apt-get update
-$SUDO apt-get -y install build-essential libboost-all-dev wget git
+$SUDO apt-get -y install build-essential libboost-all-dev wget git xsltproc
 
 for i in master 1.3 ; do
   echo "XXXXXXXXXXXXXXXX Build and test StarPU $i"