Mercurial > hg > soundsoftware-site
comparison extra/soundsoftware/update-external-repo.sh @ 439:d3faf348b287 cannam-pre-20110113-merge
Fix updates for tracking external Mercurial repos
author | Chris Cannam <chris.cannam@soundsoftware.ac.uk> |
---|---|
date | Mon, 06 Jun 2011 13:32:52 +0100 |
parents | 102056ec2de9 |
children | b61a51fb42b9 |
comparison
equal
deleted
inserted
replaced
438:34214e593c67 | 439:d3faf348b287 |
---|---|
87 # Repo mirror exists: update it | 87 # Repo mirror exists: update it |
88 echo "$$: Mirror for project $project exists at $project_repo_mirror, updating" 1>&2 | 88 echo "$$: Mirror for project $project exists at $project_repo_mirror, updating" 1>&2 |
89 | 89 |
90 if [ -d "$project_repo_mirror/.hg" ]; then | 90 if [ -d "$project_repo_mirror/.hg" ]; then |
91 "$hg" --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" && success=true | 91 "$hg" --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" && success=true |
92 if [ -z "$success" ]; then | |
93 ( cd "$project_repo_mirror" && "$hg" pull "$remote_repo" ) && success=true | |
94 fi | |
92 elif [ -d "$project_repo_mirror/.git" ]; then | 95 elif [ -d "$project_repo_mirror/.git" ]; then |
93 ( cd "$project_repo_mirror" && git pull "$remote_repo" master ) && success=true | 96 ( cd "$project_repo_mirror" && git pull "$remote_repo" master ) && success=true |
94 else | 97 else |
95 echo "$$: ERROR: Repo mirror dir $project_repo_mirror exists but is not an Hg or git repo" 1>&2 | 98 echo "$$: ERROR: Repo mirror dir $project_repo_mirror exists but is not an Hg or git repo" 1>&2 |
96 fi | 99 fi |