X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5b7aa1fb7cb5b3c0203d9f504b266528237d264a..895fe7fcdb5b1cf9661fcfbc3bcbe7b5518ed302:/tools/jenkins/build.sh diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index e2f73dc77d..12d967ec93 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -196,6 +196,7 @@ cmake -G"$GENERATOR" ${INSTALL:+-DCMAKE_INSTALL_PREFIX=$INSTALL} \ -Denable_jedule=OFF -Denable_lua=OFF ${MAY_DISABLE_SOURCE_CHANGE} \ -Denable_java=$(onoff test "$build_mode" = "ModelChecker") \ -Denable_msg=$(onoff test "$build_mode" = "ModelChecker") \ + -DLTO_EXTRA_FLAG="auto" \ $SRCFOLDER # -Denable_lua=$(onoff test "$build_mode" != "DynamicAnalysis") \ set +x