Don't add --version HEAD parameter is already HEAD, some versions of git don't like this.
This commit is contained in:
parent
fe6c6e6779
commit
10ac8ba3de
1 changed files with 1 additions and 1 deletions
|
@ -108,7 +108,7 @@ def clone(git_path, module, repo, dest, remote, depth, version):
|
||||||
pass
|
pass
|
||||||
os.chdir(dest_dirname)
|
os.chdir(dest_dirname)
|
||||||
cmd = [ git_path, 'clone', '-o', remote, '--recursive' ]
|
cmd = [ git_path, 'clone', '-o', remote, '--recursive' ]
|
||||||
if version:
|
if version and version != 'HEAD':
|
||||||
cmd.extend([ '--branch', str(version) ])
|
cmd.extend([ '--branch', str(version) ])
|
||||||
if depth:
|
if depth:
|
||||||
cmd.extend([ '--depth', str(depth) ])
|
cmd.extend([ '--depth', str(depth) ])
|
||||||
|
|
Loading…
Reference in a new issue