diff --git a/update_desktop.sh b/update_desktop.sh index e06157f326c689542f4fd5ad22486c7721167371..c203f439311ca984e75691b3bb7db336f22396aa 100644 --- a/update_desktop.sh +++ b/update_desktop.sh @@ -13,7 +13,7 @@ function full_update(){ git merge "$branch" --no-edit done - local_update + local_update || exit 1 git checkout master git branch -D "$apply_branch"