diff options
author | Leif Lindholm <leif.lindholm@linaro.org> | 2017-10-05 14:02:03 +0100 |
---|---|---|
committer | Leif Lindholm <leif.lindholm@linaro.org> | 2017-10-05 14:02:03 +0100 |
commit | 083912ccd8b025179c6d71be46f9ac79e44de016 (patch) | |
tree | 317dc0b7b6f4f09c712bb1672691081441092997 | |
parent | 19d15369d953da2a67c779b31a171683566870af (diff) |
git-hooks: fix pre-push (again)
Stupid bug prevented multi-commit pushes from ever working.
Ugly workaround, but fixes it.
Signed-off-by: Leif Lindholm <leif.lindholm@linaro.org>
-rwxr-xr-x | git-hooks/pre-push | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/git-hooks/pre-push b/git-hooks/pre-push index 0155901..d8cd048 100755 --- a/git-hooks/pre-push +++ b/git-hooks/pre-push @@ -78,7 +78,11 @@ do check_contributed $rev STATUS=$(($STATUS + $?)) - [ $STATUS -ne 0 ] && exit 1 + if [ $STATUS -ne 0 ]; then + exit 1 + else + true + fi done [ $? -ne 0 ] && exit 1 done |