#!/usr/bin/env bash

branch=$(git name-rev --name-only HEAD)
if [[ $branch == master ]]; then
	git add .
	git stash

	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
	git stash pop
fi