this subdirectory was removed by previous commit

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

diff --git a/buildtools/pipol/Nightly_simgrid.sh b/buildtools/pipol/Nightly_simgrid.sh
index 86a7bf5..bf67844 100755 (executable)
--- a/buildtools/pipol/Nightly_simgrid.sh
+++ b/buildtools/pipol/Nightly_simgrid.sh
@@ -54,6 +54,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