Move maxmin solver from system

[simgrid.git] / tools / jenkins / ci-starpu.sh

diff --git a/tools/jenkins/ci-starpu.sh b/tools/jenkins/ci-starpu.sh
index 47c64410ca69d2e794aee873fab3f12832c812d7..ece7a084daaa627aa2d286ae7bd64f2f3fb31816 100755 (executable)
--- a/tools/jenkins/ci-starpu.sh
+++ b/tools/jenkins/ci-starpu.sh
@@ -33,7 +33,7 @@ for i in master 1.3 ; do
     CXXFLAGS=""
   fi
   if ! ./configure CFLAGS="$CFLAGS" CXXFLAGS="$CXXFLAGS" \
-                   --enable-simgrid --disable-shared --enable-mpi-check --disable-cuda \
+                   --enable-simgrid --disable-shared --enable-mpi --enable-mpi-check --disable-cuda \
                    --disable-build-doc --enable-quick-check
   then
     cat ./config.log