checkout and run make

1 files changed, 11 insertions, 0 deletions

diff --git a/hooks/post-receive b/hooks/post-receive
index 72dc81d..7f66079 100755
--- a/hooks/post-receive
+++ b/hooks/post-receive
@@ -15,5 +15,16 @@ warn()
     fi
 }
 
+die()
+{
+    printf '%s: Error: %s\n' "$0" "$*" >&2
+    exit 1
+}
+
 GIT_WORK_TREE=. git checkout -f master -- authorized_keys.d/\*
 
+export GIT_WORK_TREE=${GIT_DIR%.git}
+
+git checkout -f master || die 'command failed: git checkout'
+cd "$GIT_WORK_TREE" || die 'command failed: cd $GIT_WORK_TREE'
+make