Make working directory really clean between builds.

diff --git a/buildtools/pipol/Nightly_simgrid.sh b/buildtools/pipol/Nightly_simgrid.sh
index bd14191..52a5fbe 100755 (executable)
--- a/buildtools/pipol/Nightly_simgrid.sh
+++ b/buildtools/pipol/Nightly_simgrid.sh
@@ -80,6 +80,10 @@ ctest -D NightlyTest
 ctest -D NightlySubmit
 make clean
 
 ctest -D NightlySubmit
 make clean
 

+# really clean the working directory
+git reset --hard master
+git clean -dfx
+

 #MC
 cmake \
 -Denable_coverage=on \
 #MC
 cmake \
 -Denable_coverage=on \