X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d0ffc37686edcc803601f76ab51fdfed5fc2f241..6f480ab1f8c23b22e1b90bd3cefb759e8e75239f:/buildtools/jenkins/runmingw.sh

diff --git a/buildtools/jenkins/runmingw.sh b/buildtools/jenkins/runmingw.sh
index dc901e89f5..27cad0bc00 100755
--- a/buildtools/jenkins/runmingw.sh
+++ b/buildtools/jenkins/runmingw.sh
@@ -16,7 +16,7 @@ fi
 
 if [ "$build_mode" = "ModelChecker" ]
 then
-cmake -G "MSYS Makefiles" -Denable_model-checking=ON -Denable_compile_optimizations=OFF ..
+cmake -G "MSYS Makefiles" -Denable_documentation=OFF -Denable_model-checking=ON -Denable_compile_optimizations=OFF ..
 fi
 
 make