#!/usr/bin/env bash

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

	stash=false
	if [[ -n "$(git status --porcelain)" ]]; then
		stash=true
		git add .
		git stash
	fi

	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

	if $stash; then
		git stash pop
	fi

fi