1 files changed, 1 insertions, 1 deletions
diff --git a/post-commit b/post-commit
index 574f468..09d2f7f 100755
--- a/post-commit
+++ b/post-commit
@@ -4,7 +4,7 @@ branch=$(git name-rev --name-only HEAD)
 if [[ $branch == master ]]; then
 	git checkout pre-generated
 	git merge master -m 'bogus'
-	make
+	make --always-make -j12
 	git add .
 	git commit --amend -m "make: $(git log -n1 master --pretty=format:%B)"
 	git checkout master