summaryrefslogtreecommitdiff
path: root/git/push.sh
diff options
context:
space:
mode:
Diffstat (limited to 'git/push.sh')
-rwxr-xr-xgit/push.sh5
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