diff options
| -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//./-}" |