Git post-receive hook built for running `make check`

post-receive

#!/bin/bash

set -e
set -o pipefail
set -x

WORKTREE=
GITDIR=

test -z $WORKTREE && exit 0
test -z $GITDIR && exit 0

while read oldrev newrev ref
do
   branch=${ref#refs/heads/*}
   git --work-tree=$WORKTREE --git-dir=$GITDIR checkout -f $branch \
   && pushd $WORKTREE \
   && make check \
   && popd
done