Fix cloning process

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