add the missing die function

2011-12-02 05:14:57 +01:00 · 2011-12-02 05:14:57 +01:00 · 54f5906de3
parent 35ac093742
commit 54f5906de3
1 changed files with 2 additions and 0 deletions
--- a/hooks/common/post-receive.mirrorpush
+++ b/hooks/common/post-receive.mirrorpush
@ -4,6 +4,8 @@

 # please see doc/mirroring.mkd for instructions on how to use this

+die() { echo post-receive.mirrorpush: "$@" >&2; exit 1; }
+
 # flush STDIN coming from git; we have no use for that info in this hook but
 # if you don't do this, git-shell sometimes dies of a signal 13 (SIGPIPE)
 [ -t 0 ] || cat >/dev/null