X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/74004cafa2eec4eae61fb0b83d5ba901a5347c1f..a29a242f5c736f17af7ffde36c0e7a3805b2f688:/buildtools/jenkins/run.sh

diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
index b457edb109..fe5a509b1e 100644
--- a/buildtools/jenkins/run.sh
+++ b/buildtools/jenkins/run.sh
@@ -1,13 +1,11 @@
 #!/bin/bash
 
-if [ -d $WORKSPACE/build ]
-then
-  rm -rf $WORKSPACE/build
-fi
-if [ -d $WORKSPACE/install ]
-then
-  rm -rf $WORKSPACE/install
-fi
+WORKSPACE=$1
+build_mode=$2
+
+rm -rf $WORKSPACE/build
+rm -rf $WORKSPACE/install
+
 mkdir $WORKSPACE/build
 mkdir $WORKSPACE/install
 cd $WORKSPACE/build
@@ -24,7 +22,7 @@ fi
 
 if [ "$build_mode" = "ModelChecker" ]
 then
-cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON .
+cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON .
 fi
 
 if [ "$build_mode" = "DynamicAnalysis" ]
@@ -49,7 +47,7 @@ fi
 
 if [ "$build_mode" = "ModelChecker" ]
 then
-cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON .
+cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON .
 fi
 
 if [ "$build_mode" = "DynamicAnalysis" ]