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

This commit is contained in:
Toshio Kuratomi 2014-12-08 22:08:50 -08:00
parent b326201a65
commit 050a462b2a

View file

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