Make working directory really clean between builds.

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

diff --git a/buildtools/pipol/Nightly_simgrid.sh b/buildtools/pipol/Nightly_simgrid.sh
index 86a7bf5..52a5fbe 100755 (executable)
--- a/buildtools/pipol/Nightly_simgrid.sh
+++ b/buildtools/pipol/Nightly_simgrid.sh
@@ -54,7 +54,8 @@ else
 fi
 cd ./pipol/$PIPOL_HOST
 
-git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
+export GIT_SSL_NO_VERIFY=1
+git clone https://gforge.inria.fr/git/simgrid/simgrid.git
 cd simgrid
 
 perl ./buildtools/pipol/cmake.pl
@@ -69,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
@@ -77,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