Commit 32d5038d by Michael DeHaan

Don't add --version HEAD parameter is already HEAD, some versions of git don't like this.

parent f7dec4f8
......@@ -108,7 +108,7 @@ def clone(git_path, module, repo, dest, remote, depth, version):
pass
os.chdir(dest_dirname)
cmd = [ git_path, 'clone', '-o', remote, '--recursive' ]
if version:
if version and version != 'HEAD':
cmd.extend([ '--branch', str(version) ])
if depth:
cmd.extend([ '--depth', str(depth) ])
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment