Cancel the comms of leaving processes instead of destroying them

[simgrid.git] / buildtools / pipol / Nightly_simgrid.sh

diff --git a/buildtools/pipol/Nightly_simgrid.sh b/buildtools/pipol/Nightly_simgrid.sh
index f69ae05..52a5fbe 100755 (executable)
--- a/buildtools/pipol/Nightly_simgrid.sh
+++ b/buildtools/pipol/Nightly_simgrid.sh
@@ -70,7 +70,9 @@ export CXX=g++
 fi
 
 #DEFAULT CONF
-cmake -Drelease=on .
+cmake \
+-Drelease=on \
+-Denable_lua=on .
 ctest -D NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild
@@ -78,12 +80,17 @@ ctest -D NightlyTest
 ctest -D NightlySubmit
 make clean
 
+# really clean the working directory
+git reset --hard master
+git clean -dfx
+
 #MC
 cmake \
 -Denable_coverage=on \
 -Denable_model-checking=on \
--Denable_compile_optimizations=off \
--Drelease=on .
+-Denable_lua=off \
+-Drelease=on \
+-Denable_supernovae=off .
 ctest -D NightlyStart
 ctest -D NightlyConfigure
 ctest -D NightlyBuild