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