Fix git mod so that we switch to the desired version even if it was previously downloaded

pull/18777/head
Toshio Kuratomi 10 years ago committed by Matt Clay
parent 59066f6138
commit 6f3f0904eb

@ -688,8 +688,8 @@ def main():
repo_updated = True repo_updated = True
# switch to version specified regardless of whether # switch to version specified regardless of whether
# we cloned or pulled # we got new revisions from the repository
if repo_updated and not bare: if not bare:
switch_version(git_path, module, dest, remote, version) switch_version(git_path, module, dest, remote, version)
# Deal with submodules # Deal with submodules

Loading…
Cancel
Save