if RECLONE is set, reclone the directories

This commit is contained in:
Jesse Andrews 2011-10-16 12:18:50 -07:00
parent da89268c92
commit b1304f2d35

View file

@ -297,6 +297,12 @@ function git_clone {
cd $2
# This checkout syntax works for both branches and tags
git checkout $3
elif [[ "$RECLONE" == "yes" ]]; then
cd $2
git remote set-url origin $1
git fetch origin
git branch -D $3
git checkout $3
fi
}