Revision 431:d3af621ba9d4 extra/soundsoftware

View differences:

extra/soundsoftware/update-external-repo.sh
68 68 
    if [ -d "$project_repo_mirror/.hg" ]; then
69 69 
	hg --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" && success=true
70 70 
    elif [ -d "$project_repo_mirror/.git" ]; then
71 
	( cd "$project_repo_mirror" && git fetch "$remote_repo" ) && success=true
71 
	( cd "$project_repo_mirror" && git pull "$remote_repo" master ) && success=true
72 72 
    else
73 73 
	echo "$$: ERROR: Repo mirror dir $project_repo_mirror exists but is not an Hg or git repo" 1>&2
74 74 
    fi

Also available in: Unified diff