diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-11-27 09:20:57 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-11-27 09:20:57 -0200 |
| commit | d879722cd6e782336001099e330a216fb32a1056 (patch) | |
| tree | 6c9fcb6a45e49cc79f07a886374bb6e12309bd0c | |
| parent | f050bced48bc05c4fa1177ca5391ced2086bed27 (diff) | |
| download | utils-git-d879722cd6e782336001099e330a216fb32a1056.tar.gz utils-git-d879722cd6e782336001099e330a216fb32a1056.tar.bz2 | |
Exit if git-update-superproject cannot pull
| -rwxr-xr-x | git-update-superproject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-update-superproject b/git-update-superproject index d58d416..0e49a01 100755 --- a/git-update-superproject +++ b/git-update-superproject @@ -13,7 +13,7 @@ if [ ! -e ".git" ]; then fi # Run -git pull $* +git pull $* || exit 1 git submodule sync --recursive git submodule update --recursive --init git submodules-checkout-branch |