Add GIT_SSL_NO_VERIFY

diff --git a/scripts/BuildSalomeMini.py b/scripts/BuildSalomeMini.py
index 06be8b4855ec02ddda28971f7e98188262d30e7c..eaf7641706e13727d0d75d9d17589be12199a3d3 100755 (executable)
--- a/scripts/BuildSalomeMini.py
+++ b/scripts/BuildSalomeMini.py
@@ -265,7 +265,7 @@ def extractSrcFromGit(gitLoc,srcDir,pattern):
     if not os.path.exists(dirGitLoc):
       print("Cloning %s..."%dirGitLoc)
       def __connect():
-        p=subprocess.Popen(["git","clone",gitLoc[0]],stdout=subprocess.PIPE,stderr=subprocess.PIPE)
+        p=subprocess.Popen(["GIT_SSL_NO_VERIFY=true", "git","clone",gitLoc[0]],stdout=subprocess.PIPE,stderr=subprocess.PIPE)
         p_out,p_err=p.communicate()
         return p.returncode, p_out, p_err
       tries=0