diff options
Diffstat (limited to 'git/push.sh')
-rwxr-xr-x | git/push.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/git/push.sh b/git/push.sh index cd1c1b8..d288f3a 100755 --- a/git/push.sh +++ b/git/push.sh @@ -25,5 +25,10 @@ for i in $modules; do git push $ops origin $1 fi + if [ $? -ne 0 ]; then + echo "push FAILED" 1>&2 + exit 1 + fi + cd $wd done |