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

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

diff --git a/buildtools/pipol/Experimental.sh b/buildtools/pipol/Experimental.sh
index c5cfd88..3252fd9 100755 (executable)
--- a/buildtools/pipol/Experimental.sh
+++ b/buildtools/pipol/Experimental.sh
@@ -10,7 +10,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