post-commit


1
2
3
4
5
6
7
8
9
10
11

#!/usr/bin/env bash

branch=$(git name-rev --name-only HEAD)
if [[ $branch == master ]]; then
	git checkout pre-generated
	git merge master -m 'bogus'
	make --always-make -j12
	git add .
	git commit --amend -m "make: $(git log -n1 master --pretty=format:%B)"
	git checkout master
fi