No rpath in libsimgird-java and libsurf-java

[simgrid.git] / buildtools / jenkins / runmingw.sh

diff --git a/buildtools/jenkins/runmingw.sh b/buildtools/jenkins/runmingw.sh
old mode 100644 (file)
new mode 100755 (executable)
index b813165..27cad0b
--- 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 ..
+cmake -G "MSYS Makefiles" -Denable_documentation=OFF -Denable_model-checking=ON -Denable_compile_optimizations=OFF ..
 fi
 
 make