Revision 439:d3faf348b287 extra

View differences:

extra/soundsoftware/update-external-repo.sh
89 89 

  		




  90
  90
  
    
    if [ -d "$project_repo_mirror/.hg" ]; then


  		




  91
  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
  95
  
    
    elif [ -d "$project_repo_mirror/.git" ]; then


  		




  93
  96
  
    
	( cd "$project_repo_mirror" && git pull "$remote_repo" master ) && success=true


  		




  94
  97
  
    
    else 


  		












Also available in:  Unified diff