diff options
Diffstat (limited to 'scripts/vim-patch.sh')
| -rwxr-xr-x | scripts/vim-patch.sh | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/scripts/vim-patch.sh b/scripts/vim-patch.sh index 7c07524090..6e098dd5eb 100755 --- a/scripts/vim-patch.sh +++ b/scripts/vim-patch.sh @@ -29,7 +29,7 @@ if [[ ! -d ${VIM_SOURCE_DIR} ]]; then  else    echo "Updating Vim sources in '${VIM_SOURCE_DIR}'."    cd ${VIM_SOURCE_DIR} -  hg pull --update +  hg pull --update || echo 'Could not update Vim sources.'  fi  vim_tag="v${vim_version//./-}" | 
