Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

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

diff --git a/buildtools/pipol/Nightly_memCheck.sh b/buildtools/pipol/Nightly_memCheck.sh
index 67e17843737a4d0eebf68df6fa22d679e3f66fcf..2f9101b93aca127a89b922848571530ca46aa9c8 100755 (executable)
--- a/buildtools/pipol/Nightly_memCheck.sh
+++ b/buildtools/pipol/Nightly_memCheck.sh
@@ -12,6 +12,7 @@ else
 fi
 cd ./pipol/$PIPOL_HOST
 
+export GIT_SSL_NO_VERIFY=1
 git clone git://scm.gforge.inria.fr/simgrid/simgrid.git simgrid --quiet
 cd simgrid
 
@@ -31,7 +32,6 @@ cmake \
 -Denable_lua=off \
 -Denable_tracing=off \
 -Denable_smpi=off \
--Denable_supernovae=off \
 -Denable_compile_optimizations=off \
 -Denable_compile_warnings=on \
 -Denable_lib_static=off \